Module #02.02.01 : Opening and closing structures

All PVT documentation can be found under PHIGS Validation Tests - Overview. You may also return to the hierarchical table of topics covered by the PVT. For an explanation of the format of the individual module documentation, please see section 2.5 of the User's Guide.


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:


SR1. <Open structure> opens the existing specified structure.
#F 111
#D 4.2
#S 4.4.4/28/5
#T P01/6 P02/1

SR2. For a non-empty structure, <open structure> positions the `element pointer' at the last element in the structure.
#F 111
#D 4.3
#S 4.4.4/28/5
#T P02/3

SR3. If the existing open structure is empty, the `element pointer' is set to position 0.
#F 111
#D 4.3
#S 4.4.4/28/6
#T P01/8

SR4. <Close structure> closes the open structure.
#F 112
#D 4.2
#S 4.4.4/28/5
#T P01/10

SR5. If a structure is open <inquire open structure> returns an OPEN structure status and the structure identifier of the open structure.
#F 301
#D 4.2 4.5.1
#S 4.4.4/28/5
#T P01/6 P02/1

SR6. If no structure is open <inquire open structure> returns a NONE structure status and an undefined structure identifier.
#F 301
#D 4.2 4.5.1
#S 4.4.4/28/5
#T P01/3 P01/10

SR7. <Inquire structure status> returns the appropriate structure status as NON-EXISTENT, EMPTY, or NOTEMPTY.
#F 307
#D 4.5 7.1 7.3
#S
#T P01/4 P01/7 P01/11 P02/2 P02/4

SR8. <Inquire element pointer> returns the appropriate `element pointer' position of the open structure.
#F 302
#D 4.3
#S 4.4.4/28/6
#T P01/8 P02/3

SR9. <Inquire structure state> returns the structure state value as OPEN if an open structure exists in the CSS; otherwise it returns CLOSED.
#F 202
#D 1.3 4.2
#S 4.10/107/4 4.10/107/6
#T P01/1 P01/2 P01/5 P01/9 P01/12
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




PROGRAM 1: Opening and closing an empty existing structure

You may inspect either the design or code for this program.


PROGRAM 2: Opening and closing a non-empty existing structure

You may inspect either the design or code for this program.

End of documentation for 02.02.01