public abstract class PostfixFormula extends PostfixApplication implements Formula
Modifier and Type | Field and Description |
---|---|
static int |
precedence |
operator
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
Term |
getArgument()
Get the argument.
|
int |
getPrecedence()
Get precedence value of the formula operator
(higher precedence value means higher binding power)
|
accept, acceptChildren, getIdentifier
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
isLeftAssociative, isRightAssociative
getPosition, setPosition
accept, acceptChildren, print, printCore, toString, toStringCore
public static final int precedence
public Term getArgument()
getArgument
in class PostfixApplication
public int getPrecedence()
getPrecedence
in interface Expression
getPrecedence
in class ExpressionBase
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class PostfixApplication
visitor
- the visitor who is accepted by this node.