|
||||||||
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.
Field Summary | |
---|---|
private static boolean |
debug
turns debugging on |
Constructor Summary | |
---|---|
GraphmlHelper()
|
Method Summary | |
---|---|
(package private) static void |
findDataIds(org.graphdrawing.graphml.xmlns.DataType data,
java.util.HashMap<java.lang.String,java.lang.String> translationTable,
int nextGraphIndex)
|
(package private) static void |
findEdgeIds(org.graphdrawing.graphml.xmlns.EdgeType e,
java.util.HashMap<java.lang.String,java.lang.String> translationTable,
int nextGraphIndex)
Insert edgeId and associated nodes into the translationTable. |
private static void |
findIds(org.graphdrawing.graphml.xmlns.GraphType graph,
java.util.HashMap<java.lang.String,java.lang.String> translationTable,
int nextGraphIndex)
Traverse the graph, find all graphIDs and insert into the translationTable. |
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 |
private static void |
insertGraphId(java.lang.String id,
java.util.HashMap<java.lang.String,java.lang.String> translationTable,
int nextGraphIndex)
Insert id into if not already included. |
(package private) static void |
printData(org.graphdrawing.graphml.xmlns.DataType data,
java.lang.String indent)
Print a Data item to standard out using an indentation string |
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 |
(package private) static void |
printPort(org.graphdrawing.graphml.xmlns.PortType port,
java.lang.String indent)
Print a Port to standard out using an indentation string |
(package private) static void |
renameDataIds(org.graphdrawing.graphml.xmlns.DataType data,
java.util.HashMap<java.lang.String,java.lang.String> translationTable)
|
(package private) static void |
renameEdgeIds(org.graphdrawing.graphml.xmlns.EdgeType e,
java.util.HashMap<java.lang.String,java.lang.String> translationTable)
|
static int |
renameGraphIds(org.graphdrawing.graphml.xmlns.GraphType graph,
int nextGraphIndex)
Rename all GraphIds of nodes, edges, data, etc with a new graphID. |
private static void |
renameIds(org.graphdrawing.graphml.xmlns.GraphType graph,
java.util.HashMap<java.lang.String,java.lang.String> translationTable)
Traverse the graph, find all graphIDs and do the renaming |
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. |
(package private) static java.lang.String |
translate(java.util.HashMap<java.lang.String,java.lang.String> translationTable,
java.lang.String id)
Translate the id using translationTable. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private static boolean debug
Constructor Detail |
---|
public GraphmlHelper()
Method Detail |
---|
static void findDataIds(org.graphdrawing.graphml.xmlns.DataType data, java.util.HashMap<java.lang.String,java.lang.String> translationTable, int nextGraphIndex)
static void findEdgeIds(org.graphdrawing.graphml.xmlns.EdgeType e, java.util.HashMap<java.lang.String,java.lang.String> translationTable, int nextGraphIndex)
private static void findIds(org.graphdrawing.graphml.xmlns.GraphType graph, java.util.HashMap<java.lang.String,java.lang.String> translationTable, int nextGraphIndex)
graph
- graph to traversetranslationTable
- nextGraphIndex
- 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 org.graphdrawing.graphml.xmlns.GraphType getToplevelGraph(org.graphdrawing.graphml.xmlns.GraphmlType graphml)
graphml
- complete graphml object
private static void insertGraphId(java.lang.String id, java.util.HashMap<java.lang.String,java.lang.String> translationTable, int nextGraphIndex)
static void printData(org.graphdrawing.graphml.xmlns.DataType data, java.lang.String indent)
Data
item to standard out using an indentation string
data
- data 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 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 printGraphml(org.graphdrawing.graphml.xmlns.GraphmlType graphml)
graphml
element to standard out
graphml
- graphml object to be printpublic 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 stringstatic void printPort(org.graphdrawing.graphml.xmlns.PortType port, java.lang.String indent)
Port
to standard out using an indentation string
port
- port to be printindent
- indentation stringstatic void renameDataIds(org.graphdrawing.graphml.xmlns.DataType data, java.util.HashMap<java.lang.String,java.lang.String> translationTable)
static void renameEdgeIds(org.graphdrawing.graphml.xmlns.EdgeType e, java.util.HashMap<java.lang.String,java.lang.String> translationTable)
public static int renameGraphIds(org.graphdrawing.graphml.xmlns.GraphType graph, int nextGraphIndex)
graph
- graph to renamenextGraphIndex
- index to useprivate static void renameIds(org.graphdrawing.graphml.xmlns.GraphType graph, java.util.HashMap<java.lang.String,java.lang.String> translationTable)
public static void renameNodeIds(org.graphdrawing.graphml.xmlns.NodeType node, java.util.HashMap<java.lang.String,java.lang.String> translationTable)
static java.lang.String translate(java.util.HashMap<java.lang.String,java.lang.String> translationTable, java.lang.String id)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |