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()
PrefixManager
getPrefixNames
in interface PrefixManager
public 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)
PrefixManager
getPrefixIRI
in interface PrefixManager
iri
- The IRI whose prefix it to be retrievednull
if a prefix IRI
cannot be generated.public String getDefaultPrefix()
PrefixManager
getDefaultPrefix
in interface PrefixManager
null
if there is no default
prefix.public boolean containsPrefixMapping(String prefix)
PrefixManager
containsPrefixMapping
in interface PrefixManager
prefix
- 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)
PrefixManager
getIRI
in interface PrefixManager
curie
- The Prefix IRIpublic Map<String,String> getPrefixName2PrefixMap()
PrefixManager
getPrefixName2PrefixMap
in interface PrefixManager
public String getPrefix(String prefixName)
PrefixManager
getDefaultPrefix()
method.getPrefix
in interface PrefixManager
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.public void setPrefix(String prefixName, String prefix)
prefixName
- name The prefix name (must not be null)prefix
- The prefix. Cannot be null.NullPointerException
- if the parameters passed in are nullIllegalArgumentException
- if 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 IRIShortFormProvider
iri
- the IRI to shortenpublic String getShortForm(OWLEntity entity)
ShortFormProvider
getShortForm
in interface ShortFormProvider
entity
- The entity.public void dispose()
ShortFormProvider
dispose
in interface ShortFormProvider
Copyright © 2017 The University of Manchester. All Rights Reserved.