Class PatternGraphVizView.CenterDotNode

  • All Implemented Interfaces:
    java.awt.event.MouseListener, java.util.EventListener, org.processmining.plugins.graphviz.dot.DotElement
    Enclosing class:
    PatternGraphVizView

    public class PatternGraphVizView.CenterDotNode
    extends org.processmining.plugins.graphviz.dot.DotNode
    • Constructor Summary

      Constructors 
      Constructor Description
      CenterDotNode​(java.lang.String label)  
    • Method Summary

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

        equals, toString
      • 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
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • CenterDotNode

        public CenterDotNode​(java.lang.String label)