Design: 04.03.04.01/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: Simple setting and inquiring
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
<add names to set>: 30,62,63,0,1
TEST: #SR 1 2
"<Inquire current element type and size> should return
add names to set 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 = add names to set and
celsiz = values specified by the standard and language binding)
TEST: #SR 1 3 9
"<Inquire current element content> should return the standard
representation for add names to set for any set of names
drawn from the accessible range."
<inquire current element content> to set celcon
pass/fail depending on
(celcon = representation as specified by the standard and language binding)
<remove names from set>: 30,62,63,0,1
TEST: #SR 4 5
"<Inquire current element type and size> should return
remove names from set 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 = remove names from set and
celsiz = values specified by the standard and language binding)
TEST: #SR 4 6 9
"<Inquire current element content> should return the standard
representation for remove names from set for any set of names
drawn from the accessible range."
<inquire current element content> to set celcon
pass/fail depending on
(celcon = representation as specified by the standard and language binding)
END PROGRAM 1