10.2.3 Valid_State_Communication Procedure

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

Calling syntax:

Logical = Valid_State(Communication)

Input variable:

 Communication  The Communication object to be checked.

Output variable:

 Valid_State  True iff the communication is in a valid state.

The Valid_State_Communication code listing contains additional documentation.



Michael L. Hall