org.norecess.citkit.tir.declarations
Interface ITypeDTIR

All Superinterfaces:

DeclarationTIR, HobbesTIR

All Known Implementing Classes:

TypeDTIR

public interface ITypeDTIR
extends DeclarationTIR

Method Summary

java.lang.String	getName() Returns the name of the type.
TypeTIR	getType() Returns the type.

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

accept, getPosition

Method Detail

getName

java.lang.String getName()

Returns the name of the type.

Returns:

the name of the type.

getType

TypeTIR getType()

Returns the type.

Returns:

the type.