Next: 10.8.4 Initialized_Collected_Array Procedure Up: 10.8 Collected_Array Class Previous: 10.8.2 Finalize_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.