public final class FunctionApplication extends TermApplication implements Term
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.
|
static FunctionApplication |
construct(Term fun,
Term[] args)
Construct application expression.
|
int |
getPrecedence()
Get precedence value of the formula operator
(higher precedence value means higher binding power)
|
Type |
getType()
Set type annotation of term.
|
void |
setType(Type type)
Set type annotation of term.
|
getArguments, getFunction
acceptChildren, getArgumentExpressions, getFunctionExpression
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
isLeftAssociative, isRightAssociative
getPosition, setPosition
acceptChildren, print, printCore, toString, toStringCore
public static final int precedence
public void setType(Type type)
public Type getType()
public static FunctionApplication construct(Term fun, Term[] args)
fun
- the function that is being applied.args
- the arguments to which the function is applied.public int getPrecedence()
getPrecedence
in interface Expression
getPrecedence
in class ExpressionBase
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class ApplicationExpression
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class TermApplication
visitor
- the visitor who is accepted by this node.