DESCRIPTION: This module tests the behavior of the <set conflict resolution> and <inquire conflict resolution> functions. SEMANTIC REQUIREMENTS:#F 1 212
SR1. Immediately after <open phigs>, the archival conflict resolution flag is UPDATE and the retrieval conflict resolution flag is ABANDON.
#F 140
SR2. <Set conflict resolution> individually sets the conflict resolution flags to MAINTAIN, ABANDON, or UPDATE.
#F 212
SR3. <Inquire conflict resolution> returns the current value of the conflict resolution flags.
LOCAL DICTIONARY:
Functions --- 001: popph <open phigs> 140: pscnrs <set conflict resolution> 212: pqcnrs <inquire conflict resolution> Data Structures --- 4 ... phigs_state_list 4.7 ... archival_conflict_resolution_flag 4.8 ... retrieval_conflict_resolution_flag
You may inspect either the design or code for this program.