org.processmining.plugins.graphviz.dot

Class DotCluster

java.lang.Object

org.processmining.plugins.graphviz.dot.AbstractDotElement

org.processmining.plugins.graphviz.dot.DotNode

org.processmining.plugins.graphviz.dot.DotCluster

All Implemented Interfaces:

java.awt.event.MouseListener, java.util.EventListener, DotElement

Direct Known Subclasses:

Dot

public class DotCluster
extends DotNode

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DotCluster()

Method Summary

Methods

Modifier and Type	Method and Description
DotCluster	addCluster()
void	addEdge(DotEdge edge)
DotEdge	addEdge(DotNode source, DotNode target)
DotEdge	addEdge(DotNode source, DotNode target, java.lang.String label)
DotEdge	addEdge(DotNode source, DotNode target, java.lang.String label, java.util.Map<java.lang.String,java.lang.String> optionsMap)
void	addNode(DotNode node)
DotNode	addNode(java.lang.String label)
DotNode	addNode(java.lang.String label, java.util.Map<java.lang.String,java.lang.String> options)
protected void	contentToString(java.lang.StringBuilder result)
java.util.List<DotCluster>	getClusters()
java.util.List<DotEdge>	getEdgesRecursive()
DotEdge	getFirstEdge(DotNode source, DotNode target)
java.util.List<DotNode>	getNodesRecursive()
void	removeCluster(DotCluster cluster)
void	removeEdge(DotEdge edge)
void	removeNode(DotNode node)
java.lang.String	toString()

Methods inherited from class org.processmining.plugins.graphviz.dot.DotNode

equals

Methods inherited from class org.processmining.plugins.graphviz.dot.AbstractDotElement

addMouseListener, addSelectionListener, getId, getLabel, getOption, getOptionKeySet, getSelectionListeners, isSelectable, labelToString, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setLabel, setOption, setSelectable

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DotCluster

protected DotCluster()

Method Detail

addNode

public DotNode addNode(java.lang.String label)

addNode

public DotNode addNode(java.lang.String label,
              java.util.Map<java.lang.String,java.lang.String> options)

addNode

public void addNode(DotNode node)

removeNode

public void removeNode(DotNode node)

addEdge

public void addEdge(DotEdge edge)

addEdge

public DotEdge addEdge(DotNode source,
              DotNode target)

addEdge

public DotEdge addEdge(DotNode source,
              DotNode target,
              java.lang.String label)

addEdge

public DotEdge addEdge(DotNode source,
              DotNode target,
              java.lang.String label,
              java.util.Map<java.lang.String,java.lang.String> optionsMap)

removeEdge

public void removeEdge(DotEdge edge)

getFirstEdge

public DotEdge getFirstEdge(DotNode source,
                   DotNode target)

addCluster

public DotCluster addCluster()

removeCluster

public void removeCluster(DotCluster cluster)

getClusters

public java.util.List<DotCluster> getClusters()

getNodesRecursive

public java.util.List<DotNode> getNodesRecursive()

getEdgesRecursive

public java.util.List<DotEdge> getEdgesRecursive()

toString

public java.lang.String toString()

Overrides:

toString in class DotNode

contentToString

protected void contentToString(java.lang.StringBuilder result)