public class DotCluster extends DotNode
Modifier | Constructor and Description |
---|---|
protected |
DotCluster() |
Modifier and Type | Method and Description |
---|---|
DotCluster |
addCluster()
Add a new cluster to the graph.
|
void |
addEdge(DotEdge edge)
Add a previously defined dot edge.
|
DotEdge |
addEdge(DotNode source,
DotNode target)
Add an edge that connects source to target, with a default label.
|
DotEdge |
addEdge(DotNode source,
DotNode target,
java.lang.String label)
Add an edge that connects source to target, having a label, without
further options set.
|
DotEdge |
addEdge(DotNode source,
DotNode target,
java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> optionsMap)
Add an edge that connects source to target, having a label and using an
options map.
|
void |
addNode(DotNode node)
Add an existing dot node to the graph.
|
DotNode |
addNode(java.lang.String label)
Add a new dot node to the graph with the given label.
|
DotNode |
addNode(java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> options)
Add a new dot node to the graph.
|
protected void |
appendOptions(java.lang.StringBuilder result) |
protected void |
appendSpecialOptions(java.lang.StringBuilder result,
java.lang.String type,
java.util.Map<java.lang.String,java.lang.String> optionMap) |
protected void |
contentToString(java.lang.StringBuilder result) |
java.util.List<DotCluster> |
getClusters() |
java.lang.String |
getEdgeOption(java.lang.String option) |
java.util.Set<java.lang.String> |
getEdgeOptions() |
java.util.List<DotEdge> |
getEdges() |
java.util.List<DotEdge> |
getEdgesRecursive() |
DotEdge |
getFirstEdge(DotNode source,
DotNode target) |
java.lang.String |
getGraphOption(java.lang.String option)
Gets a default option for sub-graphs of this graph.
|
java.util.Set<java.lang.String> |
getGraphOptions() |
java.lang.String |
getId() |
java.lang.String |
getNodeOption(java.lang.String option)
Get a default node option.
|
java.util.Set<java.lang.String> |
getNodeOptionKeySet() |
java.util.List<DotNode> |
getNodes() |
java.util.List<DotNode> |
getNodesRecursive() |
void |
insertNode(int index,
DotNode node)
Insert an existing node into the graph.
|
DotNode |
insertNode(int index,
java.lang.String label)
Insert a new dot node to the graph.
|
DotNode |
insertNode(int index,
java.lang.String label,
java.util.Map<java.lang.String,java.lang.String> options)
Insert a new dot node to the graph.
|
void |
removeCluster(DotCluster cluster)
Removes all equivalent clusters from the graph (not from sub-graphs).
|
void |
removeEdge(DotEdge edge)
Remove all equivalent edges from the graph.
|
void |
removeNode(DotNode node)
Remove all equivalent dot nodes from the graph.
|
void |
setEdgeOption(java.lang.String option,
java.lang.String value)
Sets a default edge option.
|
void |
setGraphOption(java.lang.String option,
java.lang.String value)
Sets a default option for sub-graphs of this graph.
|
void |
setNodeOption(java.lang.String option,
java.lang.String value)
Set a default node option.
|
java.lang.String |
toString()
Get a string representation of this graph in the Dot-language.
|
addMouseListener, addSelectionListener, escapeString, getLabel, getOption, getOptionKeySet, getSelectionListeners, isSelectable, labelToString, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setLabel, setOption, setSelectable
public java.util.List<DotNode> getNodes()
public java.util.List<DotNode> getNodesRecursive()
public DotNode addNode(java.lang.String label)
label
- public DotNode addNode(java.lang.String label, java.util.Map<java.lang.String,java.lang.String> options)
label
- options
- A map of node options, which will not be copied.public void addNode(DotNode node)
node
- public DotNode insertNode(int index, java.lang.String label)
index
- The index at which the node is to be inserted.label
- public DotNode insertNode(int index, java.lang.String label, java.util.Map<java.lang.String,java.lang.String> options)
index
- The index at which the node is to be inserted.label
- options
- A map of node options, which will not be copied.public void insertNode(int index, DotNode node)
index
- The index at which the node is to be inserted.node
- public void removeNode(DotNode node)
node
- public void setNodeOption(java.lang.String option, java.lang.String value)
option
- value
- public java.lang.String getNodeOption(java.lang.String option)
option
- public java.util.Set<java.lang.String> getNodeOptionKeySet()
public java.util.List<DotEdge> getEdges()
public java.util.List<DotEdge> getEdgesRecursive()
public DotEdge addEdge(DotNode source, DotNode target)
source
- target
- public DotEdge addEdge(DotNode source, DotNode target, java.lang.String label)
source
- target
- label
- public DotEdge addEdge(DotNode source, DotNode target, java.lang.String label, java.util.Map<java.lang.String,java.lang.String> optionsMap)
source
- target
- label
- optionsMap
- public void addEdge(DotEdge edge)
edge
- public void removeEdge(DotEdge edge)
edge
- public DotEdge getFirstEdge(DotNode source, DotNode target)
source
- target
- public void setEdgeOption(java.lang.String option, java.lang.String value)
option
- value
- public java.lang.String getEdgeOption(java.lang.String option)
option
- public java.util.Set<java.lang.String> getEdgeOptions()
public java.util.List<DotCluster> getClusters()
public DotCluster addCluster()
public void removeCluster(DotCluster cluster)
cluster
- public void setGraphOption(java.lang.String option, java.lang.String value)
option
- value
- public java.lang.String getGraphOption(java.lang.String option)
option
- public java.util.Set<java.lang.String> getGraphOptions()
public java.lang.String toString()
protected void appendOptions(java.lang.StringBuilder result)
protected void appendSpecialOptions(java.lang.StringBuilder result, java.lang.String type, java.util.Map<java.lang.String,java.lang.String> optionMap)
protected void contentToString(java.lang.StringBuilder result)
public java.lang.String getId()
getId
in interface DotElement
getId
in class AbstractDotElement