|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.unihalle.informatik.Alida.operator.GraphmlHelper
public class GraphmlHelper
This class supplies some static auxiliary methods used when explicitly constructing a history graph.
Constructor Summary | |
---|---|
GraphmlHelper()
|
Method Summary | |
---|---|
static void |
findNodeIds(org.graphdrawing.graphml.xmlns.NodeType node,
java.util.HashMap<java.lang.String,java.lang.String> translationTable,
int nextGraphIndex)
Insert nodeId and associated attributes into the translationTable. |
static org.graphdrawing.graphml.xmlns.GraphType |
getToplevelGraph(org.graphdrawing.graphml.xmlns.GraphmlType graphml)
Return the first element of type Graph found at the top level of the graphml object |
static void |
printEdge(org.graphdrawing.graphml.xmlns.EdgeType edge,
java.lang.String indent)
Print an Edge to standard out using an indentation string |
static void |
printGraph(org.graphdrawing.graphml.xmlns.GraphType graph,
java.lang.String indent)
Print a graph to standard out using an indentation string |
static void |
printGraphml(org.graphdrawing.graphml.xmlns.GraphmlType graphml)
Print a graphml element to standard out |
static void |
printNode(org.graphdrawing.graphml.xmlns.NodeType node,
java.lang.String indent)
Print a Node to standard out using an indentation string |
static int |
renameGraphIds(org.graphdrawing.graphml.xmlns.GraphType graph,
int nextGraphIndex)
Rename all GraphIds of nodes, edges, data, etc with a new graphID. |
static void |
renameNodeIds(org.graphdrawing.graphml.xmlns.NodeType node,
java.util.HashMap<java.lang.String,java.lang.String> translationTable)
Traverse the graph, find all graphIDs and actually rename. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public GraphmlHelper()
Method Detail |
---|
public static void printGraphml(org.graphdrawing.graphml.xmlns.GraphmlType graphml)
graphml
element to standard out
graphml
- graphml object to be printpublic static void printGraph(org.graphdrawing.graphml.xmlns.GraphType graph, java.lang.String indent)
graph
to standard out using an indentation string
graph
- graph to be printindent
- indentation stringpublic static void printNode(org.graphdrawing.graphml.xmlns.NodeType node, java.lang.String indent)
Node
to standard out using an indentation string
node
- node to be printindent
- indentation stringpublic static void printEdge(org.graphdrawing.graphml.xmlns.EdgeType edge, java.lang.String indent)
Edge
to standard out using an indentation string
edge
- edge to be printindent
- indentation stringpublic static int renameGraphIds(org.graphdrawing.graphml.xmlns.GraphType graph, int nextGraphIndex)
graph
- graph to renamenextGraphIndex
- index to usepublic static void findNodeIds(org.graphdrawing.graphml.xmlns.NodeType node, java.util.HashMap<java.lang.String,java.lang.String> translationTable, int nextGraphIndex)
public static void renameNodeIds(org.graphdrawing.graphml.xmlns.NodeType node, java.util.HashMap<java.lang.String,java.lang.String> translationTable)
public static org.graphdrawing.graphml.xmlns.GraphType getToplevelGraph(org.graphdrawing.graphml.xmlns.GraphmlType graphml)
graphml
- complete graphml object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |