org.norecess.citkit.tir.declarations
Interface IVariableDTIR

All Superinterfaces:

DeclarationTIR, HobbesTIR

All Known Implementing Classes:

VariableDTIR

public interface IVariableDTIR
extends DeclarationTIR

Method Summary

ExpressionTIR	getInititialization() Returns the initialization expression.
ISymbol	getSymbol() Returns the symbol for the variable.
INameTTIR	getType() Returns the type of the variable.

Methods inherited from interface org.norecess.citkit.tir.DeclarationTIR

accept, getPosition

Method Detail

getInititialization

ExpressionTIR getInititialization()

Returns the initialization expression.

Returns:

the initialization expression.

getSymbol

ISymbol getSymbol()

Returns the symbol for the variable.

Returns:

the symbol for the variable.

getType

INameTTIR getType()

Returns the type of the variable.

Returns:

the type of the variable.