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.
|
default Set<String> |
getPrefixNames()
Gets the prefix names that have a mapping in this prefix manager.
|
Stream<String> |
prefixNames()
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.
|
StringComparator getPrefixComparator()
void setPrefixComparator(StringComparator comparator)
comparator
- the comparator to use@Nullable String getDefaultPrefix()
null
if there is no default prefix.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.boolean containsPrefixMapping(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(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.Map<String,String> getPrefixName2PrefixMap()
IRI getIRI(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(IRI iri)
iri
- The IRI whose prefix it to be retrievednull
if a prefix IRI cannot be generated.@Nullable String getPrefixIRIIgnoreQName(IRI iri)
iri
- The IRI whose prefix it to be retrievednull
if a prefix IRI cannot be generated.default Set<String> getPrefixNames()
Stream<String> prefixNames()
void setPrefix(String prefixName, String prefix)
prefixName
- name The prefix name (must end with a colon)prefix
- The prefix.void copyPrefixesFrom(PrefixManager from)
from
- The manager that the prefixes should be copied fromvoid copyPrefixesFrom(Map<String,String> from)
from
- The map containing the prefixesvoid unregisterNamespace(String namespace)
namespace
- The namespace to be removed.void clear()
Copyright © 2020 The University of Manchester. All rights reserved.