public abstract class QuantifiedExpression extends ExpressionBase
Modifier and Type | Field and Description |
---|---|
static int |
precedence |
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.
|
Expression |
getBody()
Get body of expression.
|
int |
getPrecedence()
Get precedence value of the expression operator
(higher precedence value means higher binding power)
|
abstract java.lang.String |
getQuantifier()
Get string representation of quantifier.
|
TypedIdentifier[] |
getVariables()
Get bound variables of the expression.
|
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
print, printCore, toString, toStringCore
public static final int precedence
public TypedIdentifier[] getVariables()
public Expression getBody()
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class ExpressionBase
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class ExpressionBase
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.public int getPrecedence()
getPrecedence
in interface Expression
getPrecedence
in class ExpressionBase
public abstract java.lang.String getQuantifier()