Design: 02.01.01/P01

This is an abstract, language-independent design. Grim details may be found in the corresponding source code. You may return to the documentation for the module containing this program design, or to the entire hierarchical table of topics covered by the PVT.

PROGRAM 1: Structure creation by opening a non-existent structure

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test

DESIGN:

<open phigs>
TEST: #SR 8
      "The CSS should be empty upon first opening PHIGS."

Use <inquire structure identifiers> to determine
    nstid = number of structure identifiers
pass/fail depending on (nstid = 0)

TEST: #SR 1
      "Opening a non-existent structure should create one new
       structure with the specified identifier in the CSS."

<open structure> strid
Use <inquire structure identifiers> to determine:
  nstid = number of structure identifiers
  nstr  = a structure identifier

pass/fail depending on (nstid = 1 and nstr = strid)

TEST: #SR 1
      "Opening a non-existent structure should create an empty
       structure with the specified identifier in the CSS."

Use <inquire structure status> on strid to determine
     strsti = structure status identifier
pass/fail depending on (strsti = empty)

TEST: #SR 8
      "The CSS should be empty after closing and re-opening PHIGS."
<close phigs>
<open phigs>
Use <inquire structure identifiers> to determine
    nstid = number of structure identifiers
pass/fail depending on (nstid = 0)
<close phigs>

END PROGRAM 1