public class IDSpaceManager extends Object
OBOPrefix.getPrefix(), but this can be overridden
using an idspace tag in the ontology header. | Constructor and Description |
|---|
IDSpaceManager()
default constructor
|
IDSpaceManager(IDSpaceManager idSpaceManager)
Creates an IDSpaceManager and copying the id prefix to IRI prefix
mappings contained in some other IDSpaceManager.
|
| Modifier and Type | Method and Description |
|---|---|
String |
getDefaultIRIPrefix()
Gets the default IRI prefix (which is returned by the
getIRIPrefix(String) for unregistered id prefixes. |
String |
getIRIPrefix(String idPrefix)
Gets an IRI prefix from an id prefix.
|
void |
setIRIPrefix(String idPrefix,
String iriPrefix)
Sets the IRI prefix for a given id prefix.
|
public IDSpaceManager()
public IDSpaceManager(IDSpaceManager idSpaceManager)
idSpaceManager - The other IDSpaceManager from where id prefix to IRI prefix
mappings will be copied. Not null.NullPointerException - if idSpaceManager is null.public String getDefaultIRIPrefix()
getIRIPrefix(String) for unregistered id prefixes.OBOPrefix.OBO.public String getIRIPrefix(String idPrefix)
idPrefix - The id prefix. May be null.OBOPrefix.OBO.Copyright © 2014 The University of Manchester. All Rights Reserved.