3 -- Grant of Unlimited Rights
5 -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
6 -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
7 -- unlimited rights in the software and documentation contained herein.
8 -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
9 -- this public release, the Government intends to confer upon all
10 -- recipients unlimited rights equal to those held by the Government.
11 -- These rights include rights to use, duplicate, release or disclose the
12 -- released technical data and computer software in whole or in part, in
13 -- any manner and for any purpose whatsoever, and to have or permit others
18 -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
19 -- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
20 -- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
21 -- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
22 -- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
23 -- PARTICULAR PURPOSE OF SAID MATERIAL.
26 -- CHECK, FOR A LIMITED PRIVATE TYPE, THAT PRE-DEFINED EQUALITY AND
27 -- ASSIGNMENT ARE DEFINED AND AVAILABLE WITHIN THE PRIVATE PART AND
28 -- THE BODY OF A PACKAGE, AFTER THE FULL DECLARATION, IF THE FULL
29 -- DECLARATION IS NOT LIMITED.
32 -- BCB 07/15/88 CREATED ORIGINAL TEST.
34 WITH REPORT
; USE REPORT
;
43 TYPE PRIV
IS (ONE
, TWO
, THREE
, FOUR
, FIVE
, SIX
);
44 C1
: CONSTANT PRIV
:= ONE
;
45 C2
: CONSTANT PRIV
:= TWO
;
51 TYPE INT
IS LIMITED PRIVATE;
52 TYPE COMP
IS LIMITED PRIVATE;
53 TYPE DER
IS LIMITED PRIVATE;
55 TYPE INT
IS RANGE 1 .. 100;
56 TYPE COMP
IS ARRAY(1..5) OF INTEGER;
60 CONS_INT1
: CONSTANT INT
:= 30;
62 H
: BOOLEAN := D
/= F
;
63 CONS_BOOL1
: CONSTANT BOOLEAN := D
= E
;
64 CONS_BOOL2
: CONSTANT BOOLEAN := D
/= F
;
65 I
: COMP
:= (1,2,3,4,5);
66 CONS_COMP1
: CONSTANT COMP
:= (6,7,8,9,10);
68 CONS_DER1
: CONSTANT DER
:= DER
(C2
);
75 CONS_INT2
: CONSTANT INT
:= 10;
76 CONS_COMP2
: CONSTANT COMP
:= (1,2,3,4,5);
77 CONS_DER2
: CONSTANT DER
:= DER
(C1
);
79 TEST
("C74407B", "CHECK, FOR A LIMITED PRIVATE TYPE, THAT " &
80 "PRE-DEFINED EQUALITY AND ASSIGNMENT ARE " &
81 "DEFINED AND AVAILABLE WITHIN THE PRIVATE " &
82 "PART AND THE BODY OF A PACKAGE, AFTER " &
83 "THE FULL DECLARATION, IF THE FULL " &
84 "DECLARATION IS NOT LIMITED");
93 FAILED
("IMPROPER RESULT FROM PRE-DEFINED EQUALITY " &
94 "OPERATION WITHIN THE PACKAGE BODY - 1");
98 FAILED
("IMPROPER RESULT FROM PRE-DEFINED INEQUALITY " &
99 "OPERATION WITHIN THE PACKAGE BODY - 1");
102 IF CONS_INT2
= C
THEN
103 FAILED
("IMPROPER RESULT FROM PRE-DEFINED EQUALITY " &
104 "OPERATION WITHIN THE PACKAGE BODY - 2");
107 IF CONS_INT2
/= B
THEN
108 FAILED
("IMPROPER RESULT FROM PRE-DEFINED INEQUALITY " &
109 "OPERATION WITHIN THE PACKAGE BODY - 2");
113 FAILED
("IMPROPER RESULT FROM PRE-DEFINED EQUALITY " &
114 "OPERATION WITHIN THE PRIVATE PART OF THE " &
119 FAILED
("IMPROPER RESULT FROM PRE-DEFINED INEQUALITY " &
120 "OPERATION WITHIN THE PRIVATE PART OF THE " &
124 IF NOT CONS_BOOL1
THEN
125 FAILED
("IMPROPER RESULT FROM PRE-DEFINED EQUALITY " &
126 "OPERATION WITHIN THE PRIVATE PART OF THE " &
130 IF NOT CONS_BOOL2
THEN
131 FAILED
("IMPROPER RESULT FROM PRE-DEFINED INEQUALITY " &
132 "OPERATION WITHIN THE PRIVATE PART OF THE " &
143 FAILED
("IMPROPER RESULT FROM PRE-DEFINED EQUALITY " &
144 "OPERATION WITHIN THE PACKAGE BODY - 3");
148 FAILED
("IMPROPER RESULT FROM PRE-DEFINED INEQUALITY " &
149 "OPERATION WITHIN THE PACKAGE BODY - 3");
152 IF CONS_COMP2
= Z
THEN
153 FAILED
("IMPROPER RESULT FROM PRE-DEFINED EQUALITY " &
154 "OPERATION WITHIN THE PACKAGE BODY - 4");
157 IF CONS_COMP2
/= Y
THEN
158 FAILED
("IMPROPER RESULT FROM PRE-DEFINED INEQUALITY " &
159 "OPERATION WITHIN THE PACKAGE BODY - 4");
169 FAILED
("IMPROPER RESULT FROM PRE-DEFINED EQUALITY " &
170 "OPERATION WITHIN THE PACKAGE BODY - 5");
174 FAILED
("IMPROPER RESULT FROM PRE-DEFINED INEQUALITY " &
175 "OPERATION WITHIN THE PACKAGE BODY - 5");
178 IF CONS_DER2
= N
THEN
179 FAILED
("IMPROPER RESULT FROM PRE-DEFINED EQUALITY " &
180 "OPERATION WITHIN THE PACKAGE BODY - 6");
183 IF CONS_DER2
/= M
THEN
184 FAILED
("IMPROPER RESULT FROM PRE-DEFINED INEQUALITY " &
185 "OPERATION WITHIN THE PACKAGE BODY - 6");