|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectde.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 | |||||||||