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.