public class EfsmState extends State
Node
instance.Constructor and Description |
---|
EfsmState(ru.ispras.fortress.expression.Node expression)
Constructs a state represented by the specified expression.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj)
Compares the specified object with this state for equality.
|
ru.ispras.fortress.expression.Node |
getExpression()
Returns an expression which this state is represented by.
|
java.lang.String |
getId()
Returns unique string identifier of this object.
|
int |
hashCode() |
java.lang.String |
toString() |
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, getMetaInfo, getMetaInfo, getMetaInfo, hasMetaInfo, hasMetaInfo, removeMetaInfo
public EfsmState(ru.ispras.fortress.expression.Node expression)
expression
- the expression representing the statejava.lang.IllegalArgumentException
- if expression
is null
public ru.ispras.fortress.expression.Node getExpression()
public java.lang.String getId()
public boolean equals(java.lang.Object obj)
EfsmState
class or its subclass;
public java.lang.String toString()
toString
in class java.lang.Object