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 SUBTYPE CAN BE NONSTATIC IN A GENERIC TEMPLATE AND
26 -- STATIC IN THE CORRESPONDING INSTANCE.
27 -- CHECK THAT FOR A GENERIC INSTANTIATION, IF THE ACTUAL PARAMETER
28 -- IS A STATIC SUBTYPE, THEN EVERY USE OF THE CORRESPONDING FORMAL
29 -- PARAMETER WITHIN THE INSTANCE IS CONSIDERED TO DENOTE A STATIC
32 -- THIS IS A TEST BASED ON AI-00409/05-BI-WJ.
35 -- EDWARD V. BERARD, 27 AUGUST 1990
36 -- CJJ 10 OCT 1990 TEST OBJECTIVE CHANGED TO REFLECT AIG
45 REPORT
.TEST
("A49027A", "CHECK THAT A SUBTYPE CAN BE NONSTATIC " &
46 "IN A GENERIC TEMPLATE AND STATIC IN THE " &
47 "CORRESPONDING INSTANCE.") ;
53 TYPE NUMBER
IS RANGE 1 .. 10 ;
57 TYPE NUMBER_TYPE
IS RANGE <> ;
59 PACKAGE STATIC_TEST
IS
61 TYPE NEW_NUMBER_TYPE
IS NEW NUMBER_TYPE
;
62 SUBTYPE SUB_NUMBER_TYPE
IS NUMBER_TYPE
;
66 PACKAGE NEW_STATIC_TEST
IS NEW STATIC_TEST
67 (NUMBER_TYPE
=> NUMBER
) ;
69 TYPE ANOTHER_NUMBER
IS RANGE
70 NEW_STATIC_TEST
.NEW_NUMBER_TYPE
'FIRST ..
71 NEW_STATIC_TEST
.NEW_NUMBER_TYPE
'LAST ;
73 TYPE YET_ANOTHER_NUMBER
IS RANGE
74 NEW_STATIC_TEST
.SUB_NUMBER_TYPE
'FIRST ..
75 NEW_STATIC_TEST
.SUB_NUMBER_TYPE
'LAST ;