public class DefaultPrefixManager extends Object implements PrefixManager, ShortFormProvider, IRIShortFormProvider
| Constructor and Description |
|---|
DefaultPrefixManager()
Creates a namespace manager that does not have a default namespace.
|
DefaultPrefixManager(Comparator<String> c)
Creates a namespace manager that does not have a default namespace.
|
DefaultPrefixManager(PrefixManager pm) |
DefaultPrefixManager(PrefixManager pm,
Comparator<String> c) |
DefaultPrefixManager(String defaultPrefix)
Creates a namespace manager that has the specified default namespace.
|
DefaultPrefixManager(String defaultPrefix,
Comparator<String> c)
Creates a namespace manager that has the specified default namespace.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addPrefixes(PrefixManager pm) |
void |
clear()
clear the map.
|
boolean |
containsPrefixMapping(String prefix)
Determines if this manager knows about a given prefix name and it
contains a (non-null) mapping for the prefix.
|
void |
dispose()
Disposes of the short form proivider.
|
String |
getDefaultPrefix()
Gets the default prefix.
|
IRI |
getIRI(String curie)
Gets the URI for a given prefix IRI.
|
String |
getPrefix(String prefixName)
Gets the prefix that is bound to a particular prefix name.
|
String |
getPrefixIRI(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.
|
String |
getShortForm(IRI iri) |
String |
getShortForm(OWLEntity entity)
Gets the short form for the specified entity.
|
void |
setDefaultPrefix(String defaultPrefix)
Sets the default namespace.
|
void |
setPrefix(String prefixName,
String prefix)
Adds a prefix name to prefix mapping.
|
void |
unregisterNamespace(String namespace)
Removes a previously registerd prefix namespace mapping.
|
public DefaultPrefixManager()
public DefaultPrefixManager(Comparator<String> c)
c - comparator to sort prefixespublic DefaultPrefixManager(PrefixManager pm)
pm - the prefix manager to copypublic DefaultPrefixManager(PrefixManager pm, Comparator<String> c)
pm - the prefix manager to copyc - comparator to sort prefixespublic DefaultPrefixManager(String defaultPrefix)
defaultPrefix - The namespace to be used as the default namespace.public DefaultPrefixManager(String defaultPrefix, Comparator<String> c)
defaultPrefix - The namespace to be used as the default namespace.c - comparator to sort prefixespublic void addPrefixes(PrefixManager pm)
pm - prefix manager whose prefixes will be added to this managerpublic void clear()
public Set<String> getPrefixNames()
PrefixManagergetPrefixNames in interface PrefixManagerpublic void setDefaultPrefix(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.public String getPrefixIRI(IRI iri)
PrefixManagergetPrefixIRI in interface PrefixManageriri - The IRI whose prefix it to be retrievednull if a prefix IRI
cannot be generated.public String getDefaultPrefix()
PrefixManagergetDefaultPrefix in interface PrefixManagernull if there is no default
prefix.public boolean containsPrefixMapping(String prefix)
PrefixManagercontainsPrefixMapping in interface PrefixManagerprefix - 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.public IRI getIRI(String curie)
PrefixManagergetIRI in interface PrefixManagercurie - The Prefix IRIpublic Map<String,String> getPrefixName2PrefixMap()
PrefixManagergetPrefixName2PrefixMap in interface PrefixManagerpublic String getPrefix(String prefixName)
PrefixManagergetDefaultPrefix() method.getPrefix in interface PrefixManagerprefixName - 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.public void setPrefix(String prefixName, String prefix)
prefixName - name The prefix name (must not be null)prefix - The prefix. Cannot be null.IllegalArgumentException - if some parameter is null or the prefix name does not end
with a colon.public void unregisterNamespace(String namespace)
namespace - The namespace to be removed.public String getShortForm(IRI iri)
getShortForm in interface IRIShortFormProvideriri - the IRI to shortenpublic String getShortForm(OWLEntity entity)
ShortFormProvidergetShortForm in interface ShortFormProviderentity - The entity.public void dispose()
ShortFormProviderdispose in interface ShortFormProviderCopyright © 2014 The University of Manchester. All Rights Reserved.