Design: 02.01.02.01/P05

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 5: Unposting structures by deletion

CHARACTERISTICS: ynnn

OPERATOR SCRIPT: passive test

DESIGN:

TEST: #SR 4
      "Deleting a closed posted structure should cause that
       structure to become unposted from the workstation to
       which it is posted."

strid = 25
<post structure> strid

<delete structure> strid
Use <inquire posted structures> to determine:
    pstnum = number of posted structures
pass/fail depending on (pstnum = 0)

TEST: #SR 4
      "Deleting an open posted structure should cause that
       structure to become unposted from the workstation to
       which it is posted."

strid = 40
<open structure> strid
<post structure> strid

<delete structure> strid
Use <inquire posted structures> to determine:
    pstnum = number of posted structures
pass/fail depending on (pstnum = 0)

END PROGRAM 5