fmrisc.ProgramExplorer.Syntax.Logic

Class ApplicationExpression

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTBase

fmrisc.ProgramExplorer.Syntax.Logic.ASTLogicBase

fmrisc.ProgramExplorer.Syntax.Logic.ExpressionBase

fmrisc.ProgramExplorer.Syntax.Logic.ApplicationExpression

All Implemented Interfaces:

AST, ASTSource, ASTLogic, Expression

Direct Known Subclasses:

TermApplication

public abstract class ApplicationExpression
extends ExpressionBase

An application of one expression to some other expression(s).

Method Summary

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.
Expression[]	getArgumentExpressions() Get the argument expressions.
Expression	getFunctionExpression() Get the expression that is applied.

Methods inherited from class fmrisc.ProgramExplorer.Syntax.Logic.ExpressionBase

getPosition, getPrecedence, isLeftAssociative, isRightAssociative, setPosition

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTBase

accept, accept, print, printCore, toString, toStringCore

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

print, printCore, toString, toStringCore

Method Detail

getFunctionExpression

public Expression getFunctionExpression()

Get the expression that is applied.

Returns:

the expression that is applied.

getArgumentExpressions

public Expression[] getArgumentExpressions()

Get the argument expressions.

Returns:

the argument expressions.

accept

public void accept(ASTVisitorOld visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class ExpressionBase

Parameters:

visitor - the visitor who is accepted by this node.

accept

public void accept(ASTVisitor visitor)

Accept visitor for a visit.

Specified by:

accept in interface AST

Overrides:

accept in class ExpressionBase

Parameters:

visitor - the visitor who is accepted by this node.

acceptChildren

public void acceptChildren(ASTVisitor visitor)

Accept visitor for a visit.

Specified by:

acceptChildren in interface AST

Overrides:

acceptChildren in class ASTBase

Parameters:

visitor - the visitor who is accepted by this node.