public class Dot extends DotCluster
Modifier and Type | Class and Description |
---|---|
static class |
Dot.GraphDirection |
Modifier and Type | Method and Description |
---|---|
void |
exportToFile(java.io.File file) |
Dot.GraphDirection |
getDirection() |
boolean |
isKeepOrderingOfChildren() |
void |
setDirection(Dot.GraphDirection direction) |
void |
setKeepOrderingOfChildren(boolean keepOrderingOfChildren) |
void |
setStringValue(java.lang.String stringValue) |
java.lang.String |
toString()
Get a string representation of this graph in the Dot-language.
|
addCluster, addEdge, addEdge, addEdge, addEdge, addNode, addNode, addNode, appendOptions, appendSpecialOptions, contentToString, getClusters, getEdgeOption, getEdgeOptions, getEdges, getEdgesRecursive, getFirstEdge, getGraphOption, getGraphOptions, getId, getNodeOption, getNodeOptionKeySet, getNodes, getNodesRecursive, insertNode, insertNode, insertNode, removeCluster, removeEdge, removeNode, setEdgeOption, setGraphOption, setNodeOption
addMouseListener, addSelectionListener, escapeString, getLabel, getOption, getOptionKeySet, getSelectionListeners, isSelectable, labelToString, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setLabel, setOption, setSelectable
public Dot()
public Dot(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public java.lang.String toString()
DotCluster
toString
in class DotCluster
public void exportToFile(java.io.File file) throws java.io.IOException
java.io.IOException
public Dot.GraphDirection getDirection()
public void setDirection(Dot.GraphDirection direction)
public void setStringValue(java.lang.String stringValue)
public boolean isKeepOrderingOfChildren()
public void setKeepOrderingOfChildren(boolean keepOrderingOfChildren)