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