public class WritesOnlyFormula extends FormulaBase
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
keyword |
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
void |
accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
acceptChildren(ASTVisitor visitor)
Accept visitor for a visit to the children of this node.
|
static WritesOnlyFormula |
construct(Name[] variables)
Construct "writesonly" formula.
|
java.lang.String |
getKeyword()
Get string representation of keyword.
|
Name[] |
getVariables()
Get names of variables that are allowed to change.
|
getPosition, getPrecedence, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPrecedence, isLeftAssociative, isRightAssociative
getPosition, setPosition
print, printCore, toString, toStringCore
public static WritesOnlyFormula construct(Name[] variables)
variables
- the names of the variables that may change (null, if none)public Name[] getVariables()
public java.lang.String getKeyword()
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class FormulaBase
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class FormulaBase
visitor
- the visitor who is accepted by this node.public void acceptChildren(ASTVisitor visitor)
acceptChildren
in interface AST
acceptChildren
in class ASTBase
visitor
- the visitor who is accepted by the children of this node.