tcra
Interface Assertion

All Known Implementing Classes:

CardinalityGTZeroAssertion, QueuePostClearAssertion, QueuePostDequeueAssertion, QueuePostEnqueueAssertion, QueuePostFrontAssertion, QueuePostLengthAssertion, StackPostClearAssertion, StackPostLengthAssertion, StackPostPopAssertion, StackPostPushAssertion, StackPostTopAssertion, 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	toString()
java.lang.String	toString(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

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

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