org.norecess.citkit.tir.expressions
Interface ILetETIR

All Superinterfaces:
ExpressionTIR, HobbesTIR
All Known Implementing Classes:
LetETIR

public interface ILetETIR
extends ExpressionTIR


Method Summary
 ExpressionTIR getBody()
          Returns the body of the let expression.
 java.util.List<? extends DeclarationTIR> getDeclarations()
          Returns the declarations of the let expression.
 
Methods inherited from interface org.norecess.citkit.tir.ExpressionTIR
accept, getType
 
Methods inherited from interface org.norecess.citkit.tir.HobbesTIR
getPosition
 

Method Detail

getBody

ExpressionTIR getBody()
Returns the body of the let expression.

Returns:
the body of the let expression.

getDeclarations

java.util.List<? extends DeclarationTIR> getDeclarations()
Returns the declarations of the let expression.

Returns:
the declarations of the let expression.