Assertion
Date: 2008-02-28

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

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

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