public class State
extends org.processmining.models.graphbased.directed.AbstractDirectedGraphNode
implements org.processmining.models.shapes.Decorated
Constructor and Description |
---|
State(java.lang.Object identifier,
TransitionSystemImpl graph) |
Modifier and Type | Method and 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) |
compareTo
getAttributeMap, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public State(java.lang.Object identifier, TransitionSystemImpl graph)
public java.lang.Object getIdentifier()
public boolean equals(java.lang.Object o)
equals
in interface org.processmining.models.graphbased.directed.DirectedGraphElement
equals
in class org.processmining.models.graphbased.AbstractGraphNode
public int hashCode()
hashCode
in interface org.processmining.models.graphbased.directed.DirectedGraphElement
hashCode
in class org.processmining.models.graphbased.AbstractGraphNode
public TransitionSystemImpl getGraph()
getGraph
in interface org.processmining.models.graphbased.directed.DirectedGraphElement
getGraph
in class org.processmining.models.graphbased.directed.AbstractDirectedGraphNode
public void setAccepting(boolean accepting)
public boolean isAccepting()
public void setLabel(java.lang.String label)
public java.lang.String getLabel()
getLabel
in interface org.processmining.models.graphbased.directed.DirectedGraphElement
getLabel
in class org.processmining.models.graphbased.AbstractGraphElement
public void decorate(java.awt.Graphics2D g2d, double x, double y, double width, double height)
decorate
in interface org.processmining.models.shapes.Decorated