public abstract class TermApplication extends ApplicationExpression
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
Term[] |
getArguments()
Get the arguments.
|
Term |
getFunction()
Get the function.
|
accept, acceptChildren, getArgumentExpressions, getFunctionExpression
getPosition, getPrecedence, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
print, printCore, toString, toStringCore
public Term getFunction()
public Term[] getArguments()
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class ApplicationExpression
visitor
- the visitor who is accepted by this node.