Design: 04.01.05/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: Fill area element

CHARACTERISTICS: nnnn

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

*** *** *** *** ***   Fill area 3   *** *** *** *** ***

n = 5
xarr = 2.33 55.55 -4.4   123.0  0.0
yarr = 0.0  3.2   -99.99 3.2e22 -2.2e-22
zarr = 4.44 0.0   0.0    5.5    22.22

<fill area 3> with n, xarr, yarr, zarr

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

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

valets = true = valid current element type and size
valec = true = valid current element content
degen = degenerate cases, 1 and 2 point fill area
for degen =1 to 2
   <fill area 3> with degen, xarr, yarr, zarr
   <inquire current element type and size> to set celtyp, celsiz
   if (celtyp not= fill area 3 or
       celsiz not= values specified by the standard and language binding)
       then
      valets = false
   endif
   <inquire current element content> to set celcon
   if (celcon not= representation as specified by the standard
       and language binding) then
      valec = false
   endif
next degen

TEST: #SR 1 2
      "<Inquire current element type and size> should return
       fill area 3 as the type of the created element and the
       appropriate element size for a single or double point
       element."
pass/fail depending on (valets)

TEST: #SR 1 3
      "<Inquire current element content> should return the standard
       representation for a single or double point fill area 3."
pass/fail depending on (valec)

*** *** *** *** ***   Fill area   *** *** *** *** ***

<fill area> with n, xarr, yarr

TEST: #SR 4 5
      "<Inquire current element type and size> should return
       fill area as the type of the created element and the
       appropriate element size for a multipoint element."
<inquire current element type and size> to set celtyp, celsiz
pass/fail depending on
  (celtyp = fill area and
   celsiz = values specified by the standard and language binding)

TEST: #SR 4 6
      "<Inquire current element content> should return the standard
       representation for a multipoint fill area."
<inquire current element content> to set celcon
pass/fail depending on
  (celcon = representation as specified by the standard and language binding)

valets = true = valid current element type and size
valec = true = valid current element content
degen = degenerate cases, 1 and 2 point fill area
for degen =1 to 2
   <fill area> with degen, xarr, yarr, zarr
   <inquire current element type and size> to set celtyp, celsiz
   if (celtyp not= fill area or
       celsiz not= values specified by the standard and language binding)
       then
      valets = false
   endif
   <inquire current element content> to set celcon
   if (celcon not= representation as specified by the standard
       and language binding) then
      valec = false
   endif
next degen

TEST: #SR 4 5
      "<Inquire current element type and size> should return
       fill area as the type of the created element and the
       appropriate element size for a single or double point
       element."
pass/fail depending on (valets)

TEST: #SR 4 6
      "<Inquire current element content> should return the standard
       representation for a single or double point fill area."
pass/fail depending on (valec)

END PROGRAM 1