org.norecess.citkit.tir.expressions
Interface IIfETIR

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

public interface IIfETIR
extends ExpressionTIR


Method Summary
 ExpressionTIR getElseClause()
          Returns the else clause of the if statement.
 ExpressionTIR getTest()
          Returns the test of the if statement.
 ExpressionTIR getThenClause()
          Returns the then clause of the if statement.
 boolean isSingleBranch()
           
 
Methods inherited from interface org.norecess.citkit.tir.ExpressionTIR
accept, getType
 
Methods inherited from interface org.norecess.citkit.tir.HobbesTIR
getPosition
 

Method Detail

getElseClause

ExpressionTIR getElseClause()
Returns the else clause of the if statement.

Returns:
the else clause of the if statement (could be null).

getTest

ExpressionTIR getTest()
Returns the test of the if statement.

Returns:
the test of the if statement.

getThenClause

ExpressionTIR getThenClause()
Returns the then clause of the if statement.

Returns:
the then clause of the if statement.

isSingleBranch

boolean isSingleBranch()