Package tcra.programmatic

Interface Summary
ProgrammingType Represents the programming language variable type.
 

Class Summary
IntType  
MethodArgument MethodArgument provides a way to represent an argument to a specification's method.
ObjectType  
QueueType  
StackType  
StringType  
VoidType