Design: 04.02.05.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: 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

*** *** *** *** ***   Edge index   *** *** *** *** ***
<set edge index>:
    edge_index = 8

TEST: #SR 1 4
      "<Inquire current element type and size> should return
       edge 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 = edge_index
   celsiz               = value specified by the standard)

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

*** ***  edge representation set and inquire   *** ***

Use <inquire edge facilities> to determine
   etype = an available edgetype

<set edge representation>:
  index     = 2
  edge flag = ON
  edgetype  = etype
  edgewidth scale factor
            = 4.0
  colour    = 5
<inquire edge representation> for index #2, as set

TEST: #SR 11 14
      "Edge attributes should be returned as set."
pass/fail depending on
   (edge flag              = ON    and
    edgetype               = etype and
    edgewidth scale factor = 4.0   and
    colour                 = 5)

END PROGRAM 1