DESCRIPTION: This module tests the ability of the programmer to open and close an existing structure, associated inquire functions, and correct initialization of the element pointer. SEMANTIC REQUIREMENTS:#F 111
SR1. <Open structure> opens the existing specified structure.
#F 111
SR2. For a non-empty structure, <open structure> positions the `element pointer' at the last element in the structure.
#F 111
SR3. If the existing open structure is empty, the `element pointer' is set to position 0.
#F 112
SR4. <Close structure> closes the open structure.
#F 301
SR5. If a structure is open <inquire open structure> returns an OPEN structure status and the structure identifier of the open structure.
#F 301
SR6. If no structure is open <inquire open structure> returns a NONE structure status and an undefined structure identifier.
#F 307
SR7. <Inquire structure status> returns the appropriate structure status as NON-EXISTENT, EMPTY, or NOTEMPTY.
#F 302
SR8. <Inquire element pointer> returns the appropriate `element pointer' position of the open structure.
#F 202
SR9. <Inquire structure state> returns the structure state value as OPEN if an open structure exists in the CSS; otherwise it returns CLOSED.
LOCAL DICTIONARY:
Functions --- 111: popst <open structure> 112: pclst <close structure> 202: pqstrs <inquire structure state value> 301: pqopst <inquire open structure> 302: pqep <inquire element pointer> 307: pqstst <inquire structure status> Data Structures --- 1 ... operating_state 1.3 ... structure_state 4 ... phigs_state_list 4.2 ... name_of_open_structure 4.3 ... element_pointer 4.5 ... list_of_structure_identifiers 4.5.1 ... structure_identifier 7 ... structure_state_list 7.1 ... structure_identifier 7.3 ... list_of_structure_elements SEMANTIC CROSS-REFERENCES: 02.01.01/SR01
You may inspect either the design or code for this program.
You may inspect either the design or code for this program.