10.1.3 Valid_State_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.

Michael L. Hall