The Valid_State_Status procedure returns true iff the status is in a valid state - that is, iff the status passes all of the valid state tests.
Calling syntax:
| Logical = Valid_State(S) |
Input variable:
| S | The status variable to be checked. |
Output variable:
| Valid_State | True iff the status is in a valid state. |
The Valid_State_Status code listing contains additional documentation.