1-- CC3004A.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 ACTUAL PARAMETERS IN A NAMED GENERIC ACTUAL PARAMETER 26-- ASSOCIATION MAY BE OUT OF ORDER, AND ARE ASSOCIATED WITH THE 27-- CORRECT FORMALS. 28 29-- DAT 9/16/81 30-- SPS 10/26/82 31 32WITH REPORT; USE REPORT; 33 34PROCEDURE CC3004A IS 35BEGIN 36 TEST ("CC3004A", "ORDER OF NAMED GENERIC ACTUAL PARAMETERS"); 37 38 DECLARE 39 GENERIC 40 A,B : INTEGER; 41 C : INTEGER; 42 D : INTEGER; 43 PACKAGE P1 IS END P1; 44 45 TYPE AI IS ACCESS INTEGER; 46 47 GENERIC 48 TYPE D IS ( <> ); 49 VD : D; 50 TYPE AD IS ACCESS D; 51 VA : AD; 52 PACKAGE P2 IS END P2; 53 54 X : AI := NEW INTEGER '(IDENT_INT(23)); 55 Y : AI := NEW INTEGER '(IDENT_INT(77)); 56 57 PACKAGE BODY P1 IS 58 BEGIN 59 IF A /= IDENT_INT(4) OR 60 B /= IDENT_INT(12) OR 61 C /= IDENT_INT(11) OR 62 D /= IDENT_INT(-33) 63 THEN 64 FAILED ("WRONG GENERIC PARAMETER ASSOCIATIONS"); 65 END IF; 66 END P1; 67 68 PACKAGE BODY P2 IS 69 BEGIN 70 IF VA.ALL /= VD THEN 71 FAILED ("WRONG GENERIC PARM ASSOCIATIONS 2"); 72 END IF; 73 END P2; 74 75 PACKAGE N1 IS NEW P1 (C => 11, A => 4, D => -33, B => 12); 76 77 PACKAGE N2 IS NEW P2 (VA => X, AD => AI, D => INTEGER, 78 VD => 23); 79 80 PACKAGE N3 IS NEW P2 (INTEGER, 77, VA => Y, AD => AI); 81 82 BEGIN 83 NULL; 84 END; 85 86 RESULT; 87END CC3004A; 88