Design: 04.03.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: Set and inquire HLHSR identifier

CHARACTERISTICS: ynnn

OPERATOR SCRIPT: passive test.

DESIGN:

Use <inquire current element type and size> throughout to determine:
    celtyp = current element type
    celsiz = current element size

Use <inquire current element content> throughout to determine:
    celcon = current element content

<set HLHSR identifier> 0

TEST: #SR 1 2
      "<Inquire current element type and size> should return
       HLHSR identifier as the type of the created element
       and the appropriate element size."
<inquire current element type and size> to set celtyp, celsiz
pass/fail depending on
  (celtyp = HLHSR identifier and
   celsiz = values specified by the standard and language binding)

TEST: #SR 1 3
      "<Inquire current element content> should return the standard
       representation for HLHSR identifier."
<inquire current element content> to set celcon
pass/fail depending on
  (celcon = representation as specified by the standard and language binding)

<inquire HLHSR facilities> to determine
   unavid = HLHSR identifier not in list of available HLHSR identifiers
            for primary workstation type
TEST: #SR 1 3
      "Any HLHSR identifier should be accepted as valid, even if
       not supported by some workstation types."
<set HLHSR identifier> to unavid
if error signalled then
   fail
   write message about HLHSR identifier
   go to done
endif
<inquire current element content> to determine if HLHSR identifier set
pass/fail depending on (celcon = standard representation for HLHSR
                        identifier = unavid)

done:

END PROGRAM 1