10.8.3 Valid_State_Collected_Array Procedure

The Valid_State_Collected_Array procedure returns true iff the Collected_Array is in a valid state - that is, iff the Collected_Array passes all of the valid state tests.

Calling syntax:

Logical = Valid_State(CA)

Input variables:

 CA  The Collected_Array to be checked.

Output variable:

 Valid_State  True iff the Collected_Array is in a valid state.

The Valid_State_Collected_Array code listing contains additional documentation.



Michael L. Hall