|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object de.fuberlin.wiwiss.ng4j.trig.PrettyNamespacePrefixMaker
public class PrettyNamespacePrefixMaker
Analyzes a graph and generates a pretty namespace mapping from it.
Constructor Summary | |
---|---|
PrettyNamespacePrefixMaker(Graph graph)
|
Method Summary | |
---|---|
void |
addDefaultNamespace(String prefix,
String namespaceURI)
Default namespaces are only declared if an URI of that namespace is actually used in the graph. |
void |
addNamespace(String prefix,
String namespaceURI)
Declares a namespace that will be part of the mapping. |
Map |
getPrefixMap()
Returns the finished prefix map. |
void |
setBaseURI(String baseURI)
Sets a base URI. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PrettyNamespacePrefixMaker(Graph graph)
Method Detail |
---|
public void addDefaultNamespace(String prefix, String namespaceURI)
public void addNamespace(String prefix, String namespaceURI)
public void setBaseURI(String baseURI)
public Map getPrefixMap()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |