Next: 10.1.4 Initialized_Trace Procedure Up: 10.1 Trace Class Previous: 10.1.2 Finalize_Trace Procedure
The Valid_State_Trace procedure returns true iff the Trace is in a valid state - that is, iff the Trace passes all of the valid state tests.
Calling syntax:
| Logical = Valid_State(Trace) |
Input variables:
| Trace | The Trace to be checked. |
Output variable:
| Valid_State | True iff the Trace is in a valid state. |
The Valid_State_Trace code listing contains additional documentation.