Table Symbols

The following symbols are used in the state table to indicate the condition that results when a call is issued from a certain state:

Symbol	Meaning
–	Remain in current state
1-8	Number of next state
>	State error. A return_code of PROGRAM_STATE_CHECK is returned. For calls illegally issued in Reset state, this condition is indicated to the program with a return code of PROGRAM_PARAMETER_CHECK. This is because the program is in Reset state and the conversation_ID for the conversation is undefined.
‸	For programs not using sync_level set to Syncpt, this symbol should be ignored. For programs using sync_level set to Syncpt, when this symbol follows a state number or a – (for example, 1‸ or –‸), it means the program may be in the Backout-Required condition following the call.
↑	For programs not using sync_level set to Syncpt, this symbol should be ignored. For programs using sync_level set to Syncpt, when this symbol follows the name of a call (for example, ATBDEAL(F)[ok]↑), it means that it is valid to make this call (for example, ATBDEAL(F)) as indicated in the state transition table unless the program is in the Backout-required condition. In that case, the call is invalid and PROGRAM_STATE_CHECK is returned.
#	Conversations with sync_level set to Syncpt go to the state they were in at the completion of the most recent synchronization point. If there was no prior synchronization event, the side of allocator goes to Send state, and the allocatee goes to the Receive state.