Design: 09.02.10/P02

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 2: Error indicator = 2001

CHARACTERISTICS: ynnn

OPERATOR SCRIPT: passive test

DESIGN:

<open workstation>

colia(3,3) = (0,1,1,0,0,1,1,1,0)

if (pattern style supported) then
   <set pattern representation> with index =1, colia
   <inquire pattern representation> with index = 1, pattern array
        dimensions=2,2
   TEST: #SR 2
         "If <inquire pattern representation> is called and output
          parameter size is insufficient, it should return error
          indicator = 2001."
pass/fail depending on (returned error indicator = 2001).
endif

cspec(3) = (0.,1.,0.)
<set colour representation> with index = 1, cspec
<inquire colour representation> with index = 1, colour component buffer size=2:
TEST: #SR 2
      "If <inquire colour representation> is called and output
       parameter size is insufficient, it should return error
       indicator = 2001."
pass/fail depending on (returned error indicator = 2001).

inclusive set = (1,2,3,4,5)
exclusive set = (2,4,6,8,9)
<set highlighting filter> with inclusive set and exclusive set
<inquire highlighting filter> with buffer size = 4,4
TEST: #SR 2
      "If <inquire highlighting filter> is called and output parameter
       size is insufficient, it should return error indicator = 2001."
pass/fail depending on (returned error indicator = 2001).

<open structure> 100
<text>
<execute structure> 101
<close structure>
<open structure> 101
<text>
<execute structure> 102
<close structure>
<open structure> 102
<text>
<close structure>

<inquire element content> with structure id=100,element position = 1,
    dimension of real array = 1: error indicator = 2001
TEST: #SR 2
      "If <inquire element content> is called and output parameter
       size is insufficient, it should return error indicator = 2001."
pass/fail depending on (returned error indicator = 2001).
<inquire paths to descendents> with structure id=100, size of path buffer=1
TEST: #SR 2
      "If <inquire element content> is called and output parameter
       size is insufficient, it should return error indicator = 2001."
pass/fail depending on (returned error indicator = 2001).

<inquire paths to descendants> with size of path buffer = 1 (3 needed)
TEST: #SR 2
      "If <inquire paths to descendants> is called and output parameter
       size is insufficient, it should return error indicator = 2001."
pass/fail depending on (returned error indicator = 2001).

<open structure> 201
<text>
<excute structure> 202
<close structure>
<open structure> 202
<ppm>
<close structure>

<incremental spatial search 3> with size of found array = 1:
    error indicator = 2001
TEST: #SR 2
      "If <incremental spatial search 3> is called and output parameter
       size is insufficient, it should return error indicator = 2001."
pass/fail depending on (returned error indicator = 2001).

END PROGRAM 2