tcra.math
Interface Assertion

All Known Implementing Classes:

QueuePostClearAssertion, QueuePostDequeueAssertion, QueuePostEnqueueAssertion, QueuePostFrontAssertion, QueuePostLengthAssertion, StackPostClearAssertion, StackPostLengthAssertion, StackPostPopAssertion, StackPostPushAssertion, StackPostTopAssertion, StringLengthGTZAssertion, TrueAssertion

public interface Assertion

Assertion represents the assertions present in a formal specification. A MethodContract is made up of one or more Assertions.

Method Summary

boolean	check(java.util.List<MathType> t) check determines whether the values entered by the user hold to this assertion.
java.lang.String	toInstanceString(java.util.List<MathType> t)

Method Detail

check

boolean check(java.util.List<MathType> t)

check determines whether the values entered by the user hold to this assertion.

Parameters:

t - list of values for the method arguments

Returns:

true if the supplied values of the method arguments hold to the assertion false otherwise

toInstanceString

java.lang.String toInstanceString(java.util.List<MathType> t)