Design: 03.05/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: Delete all structures from archive

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test.

DESIGN:

set up standard networks in CSS
open new archive file, with arid = archive identifier

<archive all structures>, into arid

<delete all structures from archive> arid
TEST: #SR 3 4
      "After <delete all structures from archive>, the specified
       archive file should be empty."
<retrieve structure identifiers> with arid
   to determine actstr = actual list of archived structures
pass/fail depending on (actstr = empty)

<close archive file> with arid

END PROGRAM 3