public class EfsmState extends State
Node
instance.Constructor and Description |
---|
EfsmState(ru.ispras.fortress.expression.Node node)
Constructs a state represented by the specified expression.
|
EfsmState(ru.ispras.fortress.expression.Node node,
java.lang.Integer phase)
Constructs the state with the specified expression and phase value.
|
Modifier and Type | Method and Description |
---|---|
EfsmState |
deepCopy()
Returns a deep copy of the state.
|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getId()
Returns unique string identifier of this object.
|
ru.ispras.fortress.expression.Node |
getNode()
Returns an expression which this state is represented by.
|
java.lang.Integer |
getPhase()
Returns the associated value of phase variable.
|
int |
hashCode() |
java.lang.String |
toString() |
addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo
public EfsmState(ru.ispras.fortress.expression.Node node)
node
- the expression representing the statejava.lang.IllegalArgumentException
- if expression
is null
public EfsmState(ru.ispras.fortress.expression.Node node, java.lang.Integer phase)
node
- The expression that represents the state.phase
- The phase value.public EfsmState deepCopy()
public ru.ispras.fortress.expression.Node getNode()
public java.lang.Integer getPhase()
public java.lang.String getId()
State
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object