public class LocalDotNode
extends org.processmining.plugins.graphviz.dot.DotNode
Modifier and Type | Class and Description |
---|---|
class |
LocalDotNode.Appearance |
static class |
LocalDotNode.NodeType |
Modifier and Type | Field and Description |
---|---|
LocalDotNode.Appearance |
unselectedAppearance |
Constructor and Description |
---|
LocalDotNode(org.processmining.plugins.graphviz.dot.Dot dot,
ProcessTreeVisualisationInfo info,
LocalDotNode.NodeType type,
java.lang.String label,
int unode,
LocalDotNode correspondingSplit) |
Modifier and Type | Method and Description |
---|---|
LocalDotNode.NodeType |
getType() |
int |
getUnode() |
void |
setType(LocalDotNode.NodeType type) |
addMouseListener, addSelectionListener, escapeString, getId, getLabel, getOption, getOptionKeySet, getSelectionListeners, isSelectable, labelToString, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setLabel, setOption, setSelectable
public final LocalDotNode.Appearance unselectedAppearance
public LocalDotNode(org.processmining.plugins.graphviz.dot.Dot dot, ProcessTreeVisualisationInfo info, LocalDotNode.NodeType type, java.lang.String label, int unode, LocalDotNode correspondingSplit)
public int getUnode()
public LocalDotNode.NodeType getType()
public void setType(LocalDotNode.NodeType type)