public final class PreVariable 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 PreVariable |
construct(Name name)
Construct a reference to a program variable in the pre-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 PreVariable 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.