Design: 09.01.01.02/P03
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 3: Error 3 handled by system
CHARACTERISTICS: nnny
OPERATOR SCRIPT:
See OPERATOR SCRIPT for Program 1.
DESIGN:
Throughout this program, every time an error is signalled (as noted by
the tag "signals error"), the system-defined error handler should call
<error logging> at least once to write an error message on the error file.
close workstation after initializing to test if functions
3,4,5,63,65,70,73,86,88,112 generate error 3 and/or 54: ignoring function,
function requires state (PHOP,WSOP,*,*).
*** *** *** Generate errors; test absence of side effects *** *** ***
<close workstation> : signals error
TEST: #SR 3
"If <close workstation> signals an error because PHIGS is open
but all workstations are closed, it should not cause any
other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
<redraw all structures> with WKID, PCONDI : signals error
TEST: #SR 3
"If <redraw all structures> signals an error because PHIGS is
open but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
<update workstation> with WKID, PPOSTP : signals error
TEST: #SR 3
"If <update workstation> signals an error because PHIGS is
open but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
<set polymarker representation> with (WKID, 1,1,1.0,1) : signals error
TEST: #SR 3
"If <set polymarker representation> signals an error because
PHIGS is open but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
<set interior representation> with (WKID, 1, hollow, 1, 1) : signals error
TEST: #SR 3
"If <set interior representation> signals an error because
PHIGS is open but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
inclusive set = {2,3,5}
exclusive set = {6}
<set invisibility filter> with inclusive set and exclusive set : signals error
TEST: #SR 3
"If <set invisibility filter> signals an error because PHIGS
is open but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
<set hlhsr mode> with WKID, 1 : signals error
TEST: #SR 3
"If <set hlhsr mode> signals an error because PHIGS is open
but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
<set workstation window> with WKID, 0., 1., 0., 1. : signals error
TEST: #SR 3
"If <set workstation window> signals an error because PHIGS is
open but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
<set workstation viewport> with WKID, 0., 1., 0., 1. : signals error
TEST: #SR 3
"If <set workstation viewport> signals an error because PHIGS
is open but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
<unpost structure> 101 : signals error
TEST: #SR 3
"If <unpost structure> signals an error because PHIGS is open
but all workstations are closed, it should not
cause any other effect."
pass/fail depending on (system state = PHIGS-open and
workstation state = closed)
*** *** *** Results of system-defined error handling *** *** ***
TEST: #SR 3
"If <close workstation> is called and PHIGS is open but all
workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <redraw all structures> is called and PHIGS is open but all
workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <update workstation> is called and PHIGS is open but all
workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <set polymarker representation> is called and PHIGS is open
but all workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <set interior representation> is called and PHIGS is open
but all workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <set invisibility filter> is called and PHIGS is open but all
workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <set hlhsr mode> is called and PHIGS is open but all workstations
are closed, it should write an accurate, self-identifying error
message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <set workstation window> is called and PHIGS is open but all
workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <set workstation viewport> is called and PHIGS is open
but all workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
TEST: #SR 3
"If <unpost structure> is called and PHIGS is open but all
workstations are closed, it should write an accurate,
self-identifying error message on the error file."
pass/fail depending on (operator verifies error message)
END PROGRAM 3