public class ReadsOnlyFormula extends WritesOnlyFormula
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.
|
static ReadsOnlyFormula |
construct()
Construct "readsonly" formula.
|
java.lang.String |
getKeyword()
Get string representation of keyword.
|
accept, acceptChildren, construct, getVariables
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 ReadsOnlyFormula construct()
public java.lang.String getKeyword()
getKeyword
in class WritesOnlyFormula
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class WritesOnlyFormula
visitor
- the visitor who is accepted by this node.