Design: 09.01/P06

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 6: Emergency close phigs

CHARACTERISTICS: ynnn

OPERATOR SCRIPT: passive test

DESIGN:

Open phigs, workstation, structure and archive first, then call emergency
close phigs. Using inquire system state, workstation state, structure state
and archive state to determine the test is pass/fail.

TEST: #SR 11
      "If <emergency close phigs> is called, open structure should be
       closed, open archive files should be closed, all open
       workstations should be updated and closed, and PHIGS should be
       closed."

<open workstation>
<open structure>
<open archive file>
<emergency close phigs>
<inquire system state value> with sysval
<inquire workstation state value> with wkval
<inquire structure state value> with stval
<inquire archive state value> with arval
if (sysval=PHCL and wkval=WKCL and stval=STCL and arval=ARCL) then
   ok = .TRUE.
else
   ok = .FALSE.
endif
pass/fail depending on (ok = .TRUE.)

END PROGRAM 6