Class LocalDotNode
- java.lang.Object
-
- org.processmining.plugins.graphviz.dot.AbstractDotElement
-
- org.processmining.plugins.graphviz.dot.DotNode
-
- org.processmining.plugins.inductiveVisualMiner.visualisation.LocalDotNode
-
- All Implemented Interfaces:
java.awt.event.MouseListener,java.util.EventListener,org.processmining.plugins.graphviz.dot.DotElement
public class LocalDotNode extends org.processmining.plugins.graphviz.dot.DotNode
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description classLocalDotNode.Appearancestatic classLocalDotNode.NodeType
-
Field Summary
Fields Modifier and Type Field Description LocalDotNode.AppearanceunselectedAppearance
-
Constructor Summary
Constructors Constructor Description LocalDotNode(org.processmining.plugins.graphviz.dot.Dot dot, ProcessTreeVisualisationInfo info, LocalDotNode.NodeType type, java.lang.String label, int unode, LocalDotNode correspondingSplit)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description LocalDotNode.NodeTypegetType()intgetUnode()voidsetType(LocalDotNode.NodeType type)-
Methods inherited from class org.processmining.plugins.graphviz.dot.AbstractDotElement
addMouseListener, addSelectionListener, escapeString, getId, getLabel, getOption, getOptionKeySet, getSelectionListeners, isSelectable, labelToString, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setLabel, setOption, setSelectable
-
-
-
-
Field Detail
-
unselectedAppearance
public final LocalDotNode.Appearance unselectedAppearance
-
-
Constructor Detail
-
LocalDotNode
public LocalDotNode(org.processmining.plugins.graphviz.dot.Dot dot, ProcessTreeVisualisationInfo info, LocalDotNode.NodeType type, java.lang.String label, int unode, LocalDotNode correspondingSplit)
-
-
Method Detail
-
getUnode
public int getUnode()
-
getType
public LocalDotNode.NodeType getType()
-
setType
public void setType(LocalDotNode.NodeType type)
-
-