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