Design: 05.02/P04

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 4: Deferral mode ASAP

CHARACTERISTICS: ynnn

OPERATOR SCRIPT: passive test.

DESIGN:

picture change categories are numbered from 1 to 17:
  workstation changes :  1 to 12
  structure changes   : 13 to 17

  01 : polyline bundle representation
  02 : polymarker bundle representation
  03 : text bundle representation
  04 : interior bundle representation
  05 : edge bundle representation
  06 : pattern representation
  07 : colour representation
  08 : view representation
  09 : workstation transformation
  10 : highlighting filter
  11 : invisibility filter
  12 : HLHSR mode
  13 : structure content
  14 : post structure
  15 : unpost structure
  16 : delete structure
  17 : reference modification

invoke PICENV to set up standard picture environment

request-change: (#8,9,12) a workstation change in an entity for
  which there is a current and requested value, namely view
  representation, workstation transformation, and HLHSR.

non-request-change: (#1-7,10,11) a workstation change in an
  entity for which there is only a single value.

*** *** *** *** ***  visual changes   *** *** *** *** ***

<set display update state> ASAP, NIVE

request-change (8,9,12) of greatest available severity
TEST: #SR 3 4 13 22
      "After altering a current/request type entity in the WSL,
       the state of visual representation should be CORRECT when
       the deferral mode is ASAP."
pass/fail depending on (current_SVR = CORRECT)

non-request-change (1-7,10,11) of greatest available severity
TEST: #SR 3 4 13 22
      "After altering a single-valued type entity in the WSL,
       the state of visual representation should be CORRECT when
       the deferral mode is ASAP."
pass/fail depending on (current_SVR = CORRECT)

structure change (13-17) of greatest available severity
TEST: #SR 3 4 13 22
      "After performing some CSS-type change, the state of visual
       representation should be CORRECT when the deferral mode is
       ASAP."
pass/fail depending on (current_SVR = CORRECT)

*** *** *** *** ***  deferral-mode changes   *** *** *** *** ***

<set display update state> WAIT, NIVE
structure change   (17-13)     of greatest available severity
non-request-change (11,10,7-1) of greatest available severity
request-change     (12,9,8)    of greatest available severity
<set display update state> ASAP, NIVE
TEST: #SR 3 4 13 22
      "After performing visual changes in WAIT,NIVE mode, the
       state of visual representation should be CORRECT when the
       deferral mode is re-set to ASAP."
pass/fail depending on (current_SVR = CORRECT)

END PROGRAM 4