Design: 04.02.03.02/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: Simple setting and inquiring

CHARACTERISTICS: ynnn

OPERATOR SCRIPT: passive test.

DESIGN:

Use <inquire current element content> throughout to determine:
    celval = current element value as set by program
    recval = auxiliary element values implied by the standard's
             representation conventions.

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

*** *** *** *** ***   Text index   *** *** *** *** ***
<set text index>:
    text_index = 4

TEST: #SR 1 4
      "<Inquire current element type and size> should return text
       index as the type of the created element and the appropriate
       element size."
<inquire current element type and size> for current element type
pass/fail depending on
  (current_element_type = text_index
   celsiz               = value specified by the standard)

TEST: #SR 2 4
      "<Inquire current element content> should return the standard
       representation for the text index value."
<inquire current element content> for current element representation
pass/fail depending on
  (celval = 4 and
   recval = auxiliary values specified by the standard)

*** ***  text representation set and inquire *** ***

<set text representation>:
  index     = 2
  font      = 2
  precision = stroke
  chexpand  = 2.0
  chspace   = 0.5
  colour    = 5
<inquire text representation> for index #2, as set

TEST: #SR 11 14
      "Text attributes should be returned as set."
pass/fail depending on
   (font      = 2      and
    precision = stroke and
    chexpand  = 2.0    and
    chspace   = 0.5    and
    colour    = 5)

END PROGRAM 1