public final class PostVariable extends ProgramVariableBase
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
keyword |
precedence
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
static PostVariable |
construct(Name name)
Construct a reference to a program variable in the post-state.
|
java.lang.String |
getKeyword()
Get string representation of keyword.
|
accept, acceptChildren, getName, getPrecedence
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
isLeftAssociative, isRightAssociative
getPosition, setPosition
print, printCore, toString, toStringCore
public static final java.lang.String keyword
public static PostVariable construct(Name name)
name
- the name of the variable.public java.lang.String getKeyword()
getKeyword
in class ProgramVariableBase
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class ProgramVariableBase
visitor
- the visitor who is accepted by this node.