public class DefaultPrefixManager extends Object implements PrefixManager, ShortFormProvider, IRIShortFormProvider
Constructor and Description |
---|
DefaultPrefixManager()
Default constructor setting the comparator to string length comparator.
|
DefaultPrefixManager(PrefixManager pm,
StringComparator c,
String defaultPrefix) |
DefaultPrefixManager(String defaultPrefix) |
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.
|
String |
getShortForm(IRI iri) |
String |
getShortForm(OWLEntity entity)
Gets the short form for the specified entity.
|
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 inputPrefixName,
String prefix)
Adds a prefix name to prefix mapping.
|
void |
setPrefixComparator(StringComparator comparator) |
void |
unregisterNamespace(String namespace)
Removes a previously registered prefix namespace mapping.
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getPrefixNames
dispose
public DefaultPrefixManager(@Nullable String defaultPrefix)
defaultPrefix
- default prefixpublic DefaultPrefixManager(@Nullable PrefixManager pm, @Nullable StringComparator c, @Nullable String defaultPrefix)
pm
- the prefix manager to copyc
- comparator to sort prefixesdefaultPrefix
- default prefixpublic DefaultPrefixManager()
public StringComparator getPrefixComparator()
getPrefixComparator
in interface PrefixManager
public void setPrefixComparator(StringComparator comparator)
setPrefixComparator
in interface PrefixManager
comparator
- the comparator to usepublic void clear()
PrefixManager
clear
in interface PrefixManager
public Stream<String> prefixNames()
PrefixManager
prefixNames
in interface PrefixManager
@Nullable 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 getPrefixIRIIgnoreQName(IRI iri)
PrefixManager
getPrefixIRIIgnoreQName
in interface PrefixManager
iri
- The IRI whose prefix it to be retrievednull
if a prefix IRI cannot be generated.@Nullable public String getDefaultPrefix()
PrefixManager
getDefaultPrefix
in interface PrefixManager
null
if there is no default prefix.public void setDefaultPrefix(@Nullable String defaultPrefix)
PrefixManager
setDefaultPrefix
in interface PrefixManager
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 boolean containsPrefixMapping(String prefixName)
PrefixManager
containsPrefixMapping
in interface PrefixManager
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.public void copyPrefixesFrom(PrefixManager from)
PrefixManager
copyPrefixesFrom
in interface PrefixManager
from
- The manager that the prefixes should be copied frompublic void copyPrefixesFrom(Map<String,String> from)
PrefixManager
copyPrefixesFrom
in interface PrefixManager
from
- The map containing the prefixespublic IRI getIRI(String prefixIRI)
PrefixManager
getIRI
in interface PrefixManager
prefixIRI
- The Prefix IRIpublic Map<String,String> getPrefixName2PrefixMap()
PrefixManager
getPrefixName2PrefixMap
in interface PrefixManager
@Nullable 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 inputPrefixName, String prefix)
PrefixManager
setPrefix
in interface PrefixManager
inputPrefixName
- name The prefix name (must end with a colon)prefix
- The prefix.public void unregisterNamespace(String namespace)
PrefixManager
unregisterNamespace
in interface PrefixManager
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.Copyright © 2020 The University of Manchester. All rights reserved.