Package org.processmining.models.graphbased.directed.transitionsystem

Class State

  • All Implemented Interfaces:
    java.lang.Cloneable, java.lang.Comparable<org.processmining.models.graphbased.directed.DirectedGraphNode>, org.processmining.models.graphbased.AttributeMapOwner, org.processmining.models.graphbased.directed.DirectedGraphElement, org.processmining.models.graphbased.directed.DirectedGraphNode, org.processmining.models.shapes.Decorated
    public class State
extends org.processmining.models.graphbased.directed.AbstractDirectedGraphNode
implements org.processmining.models.shapes.Decorated

    • Constructor Summary

      Constructors 
      Constructor Description
      State​(java.lang.Object identifier, TransitionSystemImpl graph)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void decorate​(java.awt.Graphics2D g2d, double x, double y, double width, double height)
      If this state is an accepting state, then an extra line is painted in the GUI as the border of this state.
      boolean equals​(java.lang.Object o)  
      TransitionSystemImpl getGraph()  
      java.lang.Object getIdentifier()  
      java.lang.String getLabel()  
      int hashCode()  
      boolean isAccepting()  
      void setAccepting​(boolean accepting)  
      void setLabel​(java.lang.String label)  

      • Methods inherited from class org.processmining.models.graphbased.directed.AbstractDirectedGraphNode

        compareTo

      • Methods inherited from class org.processmining.models.graphbased.AbstractGraphNode

        getId

      • Methods inherited from class org.processmining.models.graphbased.AbstractGraphElement

        getAttributeMap, toString

      • Methods inherited from class java.lang.Object

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

      • Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner

        getAttributeMap

      • Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphNode

        getId

    • Method Detail

      • getIdentifier

        public java.lang.Object getIdentifier()

      • equals

        public boolean equals​(java.lang.Object o)
        Specified by:
        equals in interface org.processmining.models.graphbased.directed.DirectedGraphElement
        Overrides:
        equals in class org.processmining.models.graphbased.AbstractGraphNode

      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface org.processmining.models.graphbased.directed.DirectedGraphElement
        Overrides:
        hashCode in class org.processmining.models.graphbased.AbstractGraphNode

      • getGraph

        public TransitionSystemImpl getGraph()
        Specified by:
        getGraph in interface org.processmining.models.graphbased.directed.DirectedGraphElement
        Specified by:
        getGraph in class org.processmining.models.graphbased.directed.AbstractDirectedGraphNode

      • setAccepting

        public void setAccepting​(boolean accepting)

      • isAccepting

        public boolean isAccepting()

      • setLabel

        public void setLabel​(java.lang.String label)

      • getLabel

        public java.lang.String getLabel()
        Specified by:
        getLabel in interface org.processmining.models.graphbased.directed.DirectedGraphElement
        Overrides:
        getLabel in class org.processmining.models.graphbased.AbstractGraphElement

      • decorate

        public void decorate​(java.awt.Graphics2D g2d,
                     double x,
                     double y,
                     double width,
                     double height)
        If this state is an accepting state, then an extra line is painted in the GUI as the border of this state.
        Specified by:
        decorate in interface org.processmining.models.shapes.Decorated