public final class StateValue extends PostfixTerm implements Formula
operator
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
static StateValue |
construct(Term arg)
Construct a reference to a state's return value.
|
int |
getPrecedence()
Get precedence value of the expression operator
(higher precedence value means higher binding power)
|
getArgument, getType, setType
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 StateValue construct(Term arg)
arg
- the argument denoting the state.public int getPrecedence()
getPrecedence
in interface Expression
getPrecedence
in class ExpressionBase
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class PostfixTerm
visitor
- the visitor who is accepted by this node.