Design: 02.01.02.01/P03

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 3: Deletion of a non-existent structure

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive

DESIGN:

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

        100
        / \
     1 /   \ 2
      /     \
   105       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 3
      "Deleting a non-existent structure should have no effect on the
       contents of the CSS."

nostid = 25
<delete structure> nostid

examine the contents of the CSS for the existing structure identifiers
and the associated element references
                                            100
                                            / \
pass/fail depending on (CSS contents =   1 /   \ 2
                                          /     \
                                       105       110   )

END PROGRAM 3