tcra.math
Date: 2008-02-28

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package tcra.math

Interface Summary
Assertion | Assertion represents the assertions present in a formal specification.
MathModel | Used to specify the mathematical model of an interface.
MathType | MathType is the mathematical representation of an Argument.

Class Summary
IntegerType |
MathInteger | MathInteger is the mathematical representation of an integer inside another MathType or an integer argument to a method.
MathIntegerParser | MathIntegerParser is used to parse a MathInteger out of a String.
MathString<ElementType extends MathType> | MathString is an abstraction of the mathematical "String of [ElementType]".
MathStringModel |
MathStringParser | MathStringParser is used to parse a StringBuilder for one single list.
MathTypeParser | MathTypeParser is the base MathType parser that must be extended to parser a specific MathType.
MethodContract | Representation of a method's formal contract.
TCRAExercise | TCRAExercise represents the formal specification of an interface.

Exception Summary
MathFormatException | MathFormatException is thrown by MathTypeParsers when it discovers it is parsing a malformed String format.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES