public class GraphOutputDot
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private static class |
GraphOutputDot.TopNodeSort
Comparator that makes the 'undeployed' node the first node in the sort list.
|
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
TOPNODE |
Modifier | Constructor and Description |
---|---|
private |
GraphOutputDot() |
Modifier and Type | Method and Description |
---|---|
private static java.lang.CharSequence |
toId(Node node) |
static void |
write(Graph graph,
java.io.File outputFile) |
private static void |
writeEdge(java.io.PrintWriter out,
Edge edge) |
private static void |
writeEdgeDefaults(java.io.PrintWriter out) |
private static void |
writeGraphDefaults(java.io.PrintWriter out) |
private static void |
writeNode(java.io.PrintWriter out,
Node node) |
private static void |
writeNodeDefaults(java.io.PrintWriter out) |
private static final java.lang.String TOPNODE
public static void write(Graph graph, java.io.File outputFile) throws java.io.IOException
java.io.IOException
private static void writeEdge(java.io.PrintWriter out, Edge edge)
private static void writeNode(java.io.PrintWriter out, Node node)
private static java.lang.CharSequence toId(Node node)
private static void writeEdgeDefaults(java.io.PrintWriter out)
private static void writeGraphDefaults(java.io.PrintWriter out)
private static void writeNodeDefaults(java.io.PrintWriter out)