public final class StateExecutes extends PostfixFormula
precedence
operator
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
static StateExecutes |
construct(Term arg)
Construct the statement that a state is "executing".
|
getArgument, getPrecedence
accept, acceptChildren, getIdentifier
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
isLeftAssociative, isRightAssociative
getPosition, setPosition
accept, acceptChildren, print, printCore, toString, toStringCore
public static StateExecutes construct(Term arg)
arg
- the argument denoting the state.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class PostfixFormula
visitor
- the visitor who is accepted by this node.