tcra
Interface TCRAExercise

All Known Implementing Classes:

QueueReasoningExercise, StackReasoningExercise

public interface TCRAExercise

TCRAExercise represents the formal specification of an interface.

Method Summary

java.util.List<MethodContract>	getContracts() Returns a list of the MethodContracts this exercise contains.
java.lang.String	getInterfaceName() Returns the signature of the interface.
Argument.MathRep	getMathRep() Returns the mathematical representation type of the interface.

Method Detail

getInterfaceName

java.lang.String getInterfaceName()

Returns the signature of the interface.

Returns:

signature of the interface

getContracts

java.util.List<MethodContract> getContracts()

Returns a list of the MethodContracts this exercise contains.

Returns:

list of MethodContracts

getMathRep

Argument.MathRep getMathRep()

Returns the mathematical representation type of the interface. This will allow the program to determine the type of "self".

Returns:

Enumerated MathRep