Class PatternGraphVizView.ContextDotNode
- java.lang.Object
-
- org.processmining.plugins.graphviz.dot.AbstractDotElement
-
- org.processmining.plugins.graphviz.dot.DotNode
-
- org.processmining.lip.model.pattern.vis.PatternGraphVizView.ContextDotNode
-
- All Implemented Interfaces:
java.awt.event.MouseListener,java.util.EventListener,org.processmining.plugins.graphviz.dot.DotElement
- Enclosing class:
- PatternGraphVizView
public class PatternGraphVizView.ContextDotNode extends org.processmining.plugins.graphviz.dot.DotNode
-
-
Constructor Summary
Constructors Constructor Description ContextDotNode(java.lang.String label)
-
Method Summary
-
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
-
-