Design: 02.01.02.03/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: Deletion of all closed structures

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test

DESIGN:

Use <open structure> and <execute structure> to set up the CSS
as follows:


               100
               / \
             1/   \2
             /     \
          103       104     102
         / \          \     / \
       1/   \2        1\  1/   \2
       /     \          \ /     \
     105     105        106     109
                        / \     / \
                      1/   \2 1/   \2
                      /     \ /     \
                    107     108     110

The nodes of the graph (100 and above) represent structures, and the
labelled edges are references to invoke (lower) structures.  The
labels (1-2) represent the element position of the <execute structure>
function within the calling structure.

TEST: #SR 1
      "<Delete all structures> should remove all the closed structures
       contained in the CSS."

<delete all structures>

Use <inquire structure identifiers> to determine
    nstid = number of structure identifiers

<inquire structure identifiers> nstid
pass/fail depending on (nstid = 0)

END PROGRAM 1