public class MutablePrefixManager extends AbstractPrefixManager
DEFAULT_PREFIX| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
boolean |
contains(String prefix) |
String |
getDefaultPrefix() |
List<String> |
getOrderedNamespaces() |
Optional<String> |
getPrefix(String uri) |
com.google.common.collect.ImmutableMap<String,String> |
getPrefixMap() |
String |
getURIDefinition(String prefix) |
getExpandForm, getExpandForm, getShortForm, getShortFormpublic String getDefaultPrefix()
getDefaultPrefix in interface PrefixManagergetDefaultPrefix in class AbstractPrefixManagerpublic boolean contains(String prefix)
public void clear()
public List<String> getOrderedNamespaces()
getOrderedNamespaces in class AbstractPrefixManagerCopyright © 2009–2020 KRDB Research Centre for Knowledge and Data, Free University of Bozen-Bolzano. All rights reserved.