10.4.3 Valid_State_Data_Index Procedure

The Valid_State_Data_Index procedure returns true iff the Data_Index is in a valid state - that is, iff the Data_Index passes all of the valid state tests.

Calling syntax:

Logical = Valid_State(Index)

Input variables:

 Index  The Data_Index to be checked.

Output variable:

 Valid_State  True iff the Data_Index is in a valid state.

The Valid_State_Data_Index code listing contains additional documentation.



Michael L. Hall