public class SimplePrefixManager extends AbstractPrefixManager
DEFAULT_PREFIX| Constructor and Description |
|---|
SimplePrefixManager(com.google.common.collect.ImmutableMap<String,String> prefixToURIMap)
The default constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
contains(String prefix)
Checks if the prefix manager stores the prefix name.
|
List<String> |
getOrderedNamespaces() |
Optional<String> |
getPrefix(String uri)
Returns the corresponding prefix for the given URI.
|
com.google.common.collect.ImmutableMap<String,String> |
getPrefixMap()
Returns a map with all registered prefixes and the corresponding URI
|
String |
getURIDefinition(String prefix)
Returns the corresponding URI definition for the given prefix
|
getDefaultPrefix, getExpandForm, getExpandForm, getShortForm, getShortFormpublic String getURIDefinition(String prefix)
prefix - the prefix namepublic Optional<String> getPrefix(String uri)
uri - public com.google.common.collect.ImmutableMap<String,String> getPrefixMap()
public boolean contains(String prefix)
prefix - The prefix name to check.public List<String> getOrderedNamespaces()
getOrderedNamespaces in class AbstractPrefixManagerCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.