Next: 10.3.4 Initialized_Base_Structure Procedure Up: 10.3 Base_Structure Class Previous: 10.3.2 Finalize_Base_Structure Procedure
The Valid_State_Base_Structure procedure returns true iff the Base_Structure is in a valid state - that is, iff the Base_Structure passes all of the valid state tests.
Calling syntax:
| Logical = Valid_State(Structure) |
Input variables:
| Structure | The Base_Structure to be checked. |
Output variable:
| Valid_State | True iff the Base_Structure is in a valid state. |
The Valid_State_Base_Structure code listing contains additional documentation.