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.
|Logical = Valid_State(S)|
|S||The status variable to be checked.|
|Valid_State||True iff the status is in a valid state.|
The Valid_State_Status code listing contains additional documentation.