Design: 04.03.04.01/P02

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 2: Nameset facilities

CHARACTERISTICS: nnnn

OPERATOR SCRIPT: passive test.

DESIGN:

<inquire PHIGS facilities> to determine
  nanams = number of available names in namesets

TEST: #SR 7 8
      "The reported number of available names should be at least 64."
pass/fail depending on (nanams >= 64)

<add names to set>: 0, nanams-1

TEST: #SR 1 3 10
      "<Inquire current element content> should return the standard
       representation for add names to set when the operand includes
       the minimum and maximum allowed value for a name."
<inquire current element content> to set celcon
pass/fail depending on
  (celcon = representation as specified by the standard and language binding)

<remove names from set>: all names from 0 to nanams-1

TEST: #SR 4 6 8 10
      "<Inquire current element content> should return the standard
       representation for remove names from set when the nameset contains
       the maximum number of names."
<inquire current element content> to set celcon
pass/fail depending on
  (celcon = representation as specified by the standard and language binding)

END PROGRAM 2