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 THAT 'CONSTRAINED FOR OBJECTS OF A PRIVATE TYPE WITH
27 -- VISIBLE DISCRIMINANTS IS AVAILABLE OUTSIDE THE PACKAGE DECLARING
28 -- THE TYPE AND IS AVAILABLE BEFORE AND AFTER THE FULL DECLARATION.
31 -- BCB 07/14/88 CREATED ORIGINAL TEST.
32 -- GJD 11/15/95 MOVED REC2_VAR OUT OF P DUE TO ADA 95 FREEZING RULES.
34 WITH REPORT
; USE REPORT
;
39 TYPE REC
(D
: INTEGER := 0) IS PRIVATE;
42 COMP
: BOOLEAN := R1
'CONSTRAINED;
45 TYPE REC
(D
: INTEGER := 0) IS RECORD
48 R1
: CONSTANT REC
:= (D
=> 5);
51 R2CON
: CONSTANT REC
:= (D
=> 3);
52 C
: BOOLEAN := R2
'CONSTRAINED;
53 D
: BOOLEAN := R2A
'CONSTRAINED;
54 E
: BOOLEAN := R2CON
'CONSTRAINED;
62 A
: BOOLEAN := R3
'CONSTRAINED;
63 B
: BOOLEAN := R3A
'CONSTRAINED;
67 TEST
("C74208B", "CHECK THAT 'CONSTRAINED FOR OBJECTS OF A " &
68 "PRIVATE TYPE WITH VISIBLE DISCRIMINANTS " &
69 "IS AVAILABLE OUTSIDE THE PACKAGE " &
70 "DECLARING THE TYPE AND IS AVAILABLE " &
71 "BEFORE AND AFTER THE FULL DECLARATION");
73 IF NOT REC2_VAR
.COMP
THEN
74 FAILED
("IMPROPER VALUE FOR 'CONSTRAINED BEFORE THE " &
75 "FULL DECLARATION OF THE PRIVATE TYPE");
79 FAILED
("IMPROPER VALUE FOR 'CONSTRAINED AFTER THE " &
80 "FULL DECLARATION OF THE PRIVATE TYPE - 1");
84 FAILED
("IMPROPER VALUE FOR 'CONSTRAINED AFTER THE " &
85 "FULL DECLARATION OF THE PRIVATE TYPE - 2");
89 FAILED
("IMPROPER VALUE FOR 'CONSTRAINED AFTER THE " &
90 "FULL DECLARATION OF THE PRIVATE TYPE - 3");
96 FAILED
("IMPROPER VALUE FOR 'CONSTRAINED OUTSIDE THE " &
97 "PACKAGE DECLARING THE PRIVATE TYPE - 1");
101 FAILED
("IMPROPER VALUE FOR 'CONSTRAINED OUTSIDE THE " &
102 "PACKAGE DECLARING THE PRIVATE TYPE - 2");