org.norecess.citkit.tir
Interface ExpressionTIR

All Superinterfaces:
HobbesTIR
All Known Subinterfaces:
IArrayETIR, IAssignmentETIR, IBooleanETIR, ICallETIR, IFieldAssignmentTIR, IForETIR, IIfETIR, IIntegerETIR, ILambdaETIR, ILetETIR, IOperatorETIR, IRecordETIR, ISequenceETIR, IStringETIR, IVariableETIR, IWhileETIR
All Known Implementing Classes:
ArrayETIR, AssignmentETIR, BooleanETIR, BreakETIR, CallETIR, FieldAssignmentTIR, ForETIR, IfETIR, IntegerETIR, LambdaETIR, LetETIR, NilETIR, OperatorETIR, RecordETIR, SequenceETIR, StringETIR, VariableETIR, WhileETIR

public interface ExpressionTIR
extends HobbesTIR

Interface for any expression type. See subclasses of this interface for more information.

Author:
Jeremy D. Frens

Method Summary
<A> A
accept(ExpressionTIRVisitor<A> visitor)
          Implements the visitor pattern with ExpressionTIRVisitor.
 HobbesType getType()
          Retrieves the type of the expression.
 
Methods inherited from interface org.norecess.citkit.tir.HobbesTIR
getPosition
 

Method Detail

accept

<A> A accept(ExpressionTIRVisitor<A> visitor)
Implements the visitor pattern with ExpressionTIRVisitor.

Parameters:
visitor - the visitor object.
Returns:
the result of visiting the AST with the visitor.

getType

HobbesType getType()
Retrieves the type of the expression.

Returns:
the type of the code.