TCRAExercise
Date: 2007-08-14

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD