public interface PrefixManager extends Serializable
Modifier and Type | Method and Description |
---|---|
void |
clear()
clear the map
|
boolean |
containsPrefixMapping(String prefixName)
Determines if this manager knows about a given prefix name and it contains a (non-null)
mapping for the prefix.
|
void |
copyPrefixesFrom(Map<String,String> from)
Copies the prefix from another prefix manager into this one
|
void |
copyPrefixesFrom(PrefixManager from)
Copies the prefix from another prefix manager into this one
|
String |
getDefaultPrefix()
Gets the default prefix.
|
IRI |
getIRI(String prefixIRI)
Gets the URI for a given prefix IRI.
|
String |
getPrefix(String prefixName)
Gets the prefix that is bound to a particular prefix name.
|
StringComparator |
getPrefixComparator() |
String |
getPrefixIRI(IRI iri)
Gets the prefix IRI given a IRI (URI).
|
String |
getPrefixIRIIgnoreQName(IRI iri)
Gets the prefix IRI given a IRI (URI).
|
Map<String,String> |
getPrefixName2PrefixMap()
Gets a map that maps prefix names to prefixes.
|
Set<String> |
getPrefixNames()
Gets the prefix names that have a mapping in this prefix manager.
|
void |
setDefaultPrefix(String defaultPrefix)
Sets the default namespace.
|
void |
setPrefix(String prefixName,
String prefix)
Adds a prefix name to prefix mapping
|
void |
setPrefixComparator(StringComparator comparator) |
void |
unregisterNamespace(String namespace)
Removes a previously registered prefix namespace mapping
|
@Nonnull StringComparator getPrefixComparator()
void setPrefixComparator(@Nonnull StringComparator comparator)
comparator
- the comparator to use@Nullable String getDefaultPrefix()
null
if there is no default prefix.boolean containsPrefixMapping(@Nonnull String prefixName)
prefixName
- The prefix name to be tested for.true
if the manager knows about this prefix and there is a non-null mapping
for this prefix.@Nullable String getPrefix(@Nonnull String prefixName)
getDefaultPrefix()
method.prefixName
- The prefix name. A string that represents a prefix name of the prefix to be
retrieved. Note that specifying ":" is the same as asking for the default prefix (see
the getDefaultPrefix() method).null
if there is no prefix name bound to this prefix, or the
prefix name doesn't exist.@Nonnull Map<String,String> getPrefixName2PrefixMap()
@Nonnull IRI getIRI(@Nonnull String prefixIRI)
prefixIRI
- The Prefix IRIOWLRuntimeException
- if the prefix name of the prefix IRI doesn't have a corresponding
prefix managed by this manager.@Nullable String getPrefixIRI(@Nonnull IRI iri)
iri
- The IRI whose prefix it to be retrievednull
if a prefix IRI cannot be generated.@Nullable String getPrefixIRIIgnoreQName(@Nonnull IRI iri)
iri
- The IRI whose prefix it to be retrievednull
if a prefix IRI cannot be generated.@Nonnull Set<String> getPrefixNames()
void setDefaultPrefix(@Nullable String defaultPrefix)
defaultPrefix
- The namespace to be used as the default namespace. Note that the value
may be null
in order to clear the default namespace.void setPrefix(@Nonnull String prefixName, @Nonnull String prefix)
prefixName
- name The prefix name (must end with a colon)prefix
- The prefix.void copyPrefixesFrom(@Nonnull PrefixManager from)
from
- The manager that the prefixes should be copied fromvoid copyPrefixesFrom(@Nonnull Map<String,String> from)
from
- The map containing the prefixesvoid unregisterNamespace(@Nonnull String namespace)
namespace
- The namespace to be removed.void clear()
Copyright © 2020 The University of Manchester. All rights reserved.