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.
25 -- CHECK THAT A FULL DECLARATION FOR A PRIVATE TYPE OR FOR A LIMITED
26 -- PRIVATE TYPE CAN BE GIVEN IN TERMS OF ANY SCALAR TYPE, ARRAY TYPE,
27 -- RECORD TYPE (WITH OR WITHOUT DISCRIMINANTS), ACCESS TYPE (WITH
28 -- OR WITHOUT DISCRIMINANTS), OR ANY TYPE DERIVED FROM ANY OF THE
31 -- PART B: TYPES INVOLVING FLOATING-POINT DATA.
44 TEST
( "A74106B" , "CHECK THAT PRIVATE TYPES AND LIMITED PRIVATE " &
45 "TYPES CAN BE DEFINED IN TERMS OF " &
46 "FLOATING-POINT TYPES" );
70 TYPE FD
(I
: INTEGER) IS PRIVATE;
72 TYPE ARR_F
IS ARRAY(1..2) OF FLOAT;
73 TYPE ACC_F
IS ACCESS FLOAT;
74 TYPE REC_F
IS RECORD F
: FLOAT; END RECORD;
75 TYPE D_REC_F
(I
: INTEGER := 1) IS
76 RECORD F
: FLOAT; END RECORD;
78 TYPE FY
(B
: BOOLEAN) IS RECORD G
: FLOAT; END RECORD;
81 TYPE F2
IS NEW FLOAT DIGITS 4;
83 TYPE F4
IS ARRAY(1..2) OF FLOAT;
85 TYPE F6
IS ACCESS FLOAT;
87 TYPE F8
IS RECORD F
: FLOAT; END RECORD;
90 TYPE FB
IS ACCESS D_REC_F
;
91 TYPE FD
(I
: INTEGER) IS RECORD G
: FLOAT; END RECORD;
105 TYPE F0
IS LIMITED PRIVATE;
107 TYPE F0
IS NEW FLOAT;
112 TYPE F1
IS LIMITED PRIVATE;
113 TYPE F2
IS LIMITED PRIVATE;
114 TYPE F3
IS LIMITED PRIVATE;
115 TYPE F4
IS LIMITED PRIVATE;
116 TYPE F5
IS LIMITED PRIVATE;
117 TYPE F6
IS LIMITED PRIVATE;
118 TYPE F7
IS LIMITED PRIVATE;
119 TYPE F8
IS LIMITED PRIVATE;
120 TYPE F9
IS LIMITED PRIVATE;
121 TYPE FA
IS LIMITED PRIVATE;
122 TYPE FB
IS LIMITED PRIVATE;
123 TYPE FC
IS LIMITED PRIVATE;
124 TYPE FD
(I
: INTEGER) IS LIMITED PRIVATE;
125 TYPE NF
IS NEW FLOAT;
126 TYPE ARR_F
IS ARRAY(1..2) OF FLOAT;
127 TYPE ACC_F
IS ACCESS FLOAT;
128 TYPE REC_F
IS RECORD F
: FLOAT; END RECORD;
129 TYPE D_REC_F
(I
: INTEGER := 1) IS
130 RECORD F
: FLOAT; END RECORD;
132 TYPE FY
(B
: BOOLEAN) IS RECORD G
: FLOAT; END RECORD;
135 TYPE F2
IS NEW FLOAT DIGITS 4;
137 TYPE F4
IS ARRAY(1..2) OF FLOAT;
138 TYPE F5
IS NEW ARR_F
;
139 TYPE F6
IS ACCESS FLOAT;
140 TYPE F7
IS NEW ACC_F
;
141 TYPE F8
IS RECORD F
: FLOAT; END RECORD;
142 TYPE F9
IS NEW REC_F
;
143 TYPE FA
IS ACCESS FD
;
144 TYPE FB
IS ACCESS D_REC_F
;
145 TYPE FD
(I
: INTEGER) IS RECORD G
: FLOAT; END RECORD;