Design: 04.01.06/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 set 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 set 3   *** *** *** *** ***

<fill area set 3> with 3 subareas

TEST: #SR 1 2
      "<Inquire current element type and size> should return
       fill area set 3 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 = fill area set 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 fill area set 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
for ix = 0 to 2
   if (ix = 0) then
      <fill area set 3> with
            subarea1=2 points, subarea2=1 point, subarea3=0 points
   else
      <fill area set 3> with
            subarea1=ix points, subarea2=ix points, subarea3= ix points
   endif

   <inquire current element type and size> to set celtyp, celsiz
   if (celtyp not= fill area set 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 ix

TEST: #SR 1 2
      "<Inquire current element type and size> should return
       fill area set 3 as the type of the created element and the
       appropriate element size for an element with subareas with
       0, 1, and/or 2 points."
pass/fail depending on (valets)

TEST: #SR 1 3
      "<Inquire current element content> should return the standard
       representation for a <fill area set 3> whose subareas have 0,
       1, and/or 2 points."
pass/fail depending on (valec)

*** *** *** *** ***   Fill area set   *** *** *** *** ***

<fill area set> with 3 subareas

TEST: #SR 4 5
      "<Inquire current element type and size> should return
       fill area set 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 set 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 set."
<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 = empty, 1 and 2 point fill area set
for ix = 0 to 2
   if (ix = 0) then
      <fill area set> with
            subarea1=2 points, subarea2=1 point, subarea3=0 points
   else
      <fill area set> with
            subarea1=ix points, subarea2=ix points, subarea3= ix points
   endif

   <inquire current element type and size> to set celtyp, celsiz
   if (celtyp not= fill area set 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 ix

TEST: #SR 4 5
      "<Inquire current element type and size> should return
       fill area set as the type of the created element and the
       appropriate element size for an element with subareas with
       0, 1, and/or 2 points."
pass/fail depending on (valets)

TEST: #SR 4 6
      "<Inquire current element content> should return the standard
       representation for a <fill area set> whose subareas have 0,
       1, and/or 2 points."
pass/fail depending on (valec)

END PROGRAM 1