hoj.Assertion

Assertion.java defines a class module to implement assertion checking. Its only method is class wide.

public static void check ( boolean condition)

Check to see if the condition is true.

Postcondition: The program is halted if the condition evaluates to false.

Back to the package documentation index

Back to the Introduction