|
||||||||||
| 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 print
public 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 string
public 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 string
public 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 string
public static int renameGraphIds(org.graphdrawing.graphml.xmlns.GraphType graph,
int nextGraphIndex)
graph - graph to renamenextGraphIndex - index to use
public 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 | |||||||||