org.norecess.citkit.tir.expressions
Interface IWhileETIR

All Superinterfaces:

ExpressionTIR, HobbesTIR

All Known Implementing Classes:

WhileETIR

public interface IWhileETIR
extends ExpressionTIR

Method Summary

ExpressionTIR	getBody() Returns the body of the while expression.
ExpressionTIR	getTest() Returns the test of the while 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 while expression.

Returns:

the body of the while expression.

getTest

ExpressionTIR getTest()

Returns the test of the while expression.

Returns:

the test of the while expression.