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

Copyright 2000 by Prentice Hall. All rights reserved.