The Valid_State_Timer procedure returns true iff the Timer is in a valid state - that is, iff the Timer passes all of the valid state tests.
|Logical = Valid_State(Timer)|
|Timer||The Timer to be checked.|
|Valid_State||True iff the Timer is in a valid state.|
The Valid_State_Timer code listing contains additional documentation.
Michael L. Hall