1-- A49027A.ADA 2 3-- Grant of Unlimited Rights 4-- 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 14-- to do so. 15-- 16-- DISCLAIMER 17-- 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. 24--* 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 30-- SUBTYPE 31-- 32-- THIS IS A TEST BASED ON AI-00409/05-BI-WJ. 33 34-- HISTORY: 35-- EDWARD V. BERARD, 27 AUGUST 1990 36-- CJJ 10 OCT 1990 TEST OBJECTIVE CHANGED TO REFLECT AIG 37-- OBJECTIVE. 38 39WITH REPORT ; 40 41PROCEDURE A49027A IS 42 43BEGIN -- A49027A 44 45 REPORT.TEST ("A49027A", "CHECK THAT A SUBTYPE CAN BE NONSTATIC " & 46 "IN A GENERIC TEMPLATE AND STATIC IN THE " & 47 "CORRESPONDING INSTANCE.") ; 48 49 LOCAL_BLOCK: 50 51 DECLARE 52 53 TYPE NUMBER IS RANGE 1 .. 10 ; 54 55 GENERIC 56 57 TYPE NUMBER_TYPE IS RANGE <> ; 58 59 PACKAGE STATIC_TEST IS 60 61 TYPE NEW_NUMBER_TYPE IS NEW NUMBER_TYPE ; 62 SUBTYPE SUB_NUMBER_TYPE IS NUMBER_TYPE ; 63 64 END STATIC_TEST ; 65 66 PACKAGE NEW_STATIC_TEST IS NEW STATIC_TEST 67 (NUMBER_TYPE => NUMBER) ; 68 69 TYPE ANOTHER_NUMBER IS RANGE 70 NEW_STATIC_TEST.NEW_NUMBER_TYPE'FIRST .. 71 NEW_STATIC_TEST.NEW_NUMBER_TYPE'LAST ; 72 73 TYPE YET_ANOTHER_NUMBER IS RANGE 74 NEW_STATIC_TEST.SUB_NUMBER_TYPE'FIRST .. 75 NEW_STATIC_TEST.SUB_NUMBER_TYPE'LAST ; 76 77 BEGIN -- LOCAL_BLOCK 78 79 NULL ; 80 81 END LOCAL_BLOCK ; 82 83 REPORT.RESULT ; 84 85END A49027A ; 86