1-- CC3603A.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-- OBJECTIVE: 26-- CHECK THAT ENUMERATION LITERALS (BOTH IDENTIFIERS AND CHARACTER 27-- LITERALS) MAY BE PASSED AS ACTUALS CORRESPONDING TO GENERIC 28-- FORMAL SUBPROGRAMS. 29 30-- HISTORY: 31-- RJW 06/11/86 CREATED ORIGINAL TEST. 32-- VCL 08/18/87 CHANGED THE SECOND ACTUAL GENERIC PARAMETER IN THE 33-- INSTANTIATION OF PROCEDURE NP3 TO 34-- 'IDENT_CHAR('X')'. 35 36WITH REPORT; USE REPORT; 37 38PROCEDURE CC3603A IS 39 40BEGIN 41 TEST ("CC3603A", "CHECK THAT ENUMERATION LITERALS (BOTH " & 42 "IDENTIFIERS AND CHARACTER LITERALS) MAY " & 43 "BE PASSED AS ACTUALS CORRESPONDING TO " & 44 "GENERIC FORMAL SUBPROGRAMS" ); 45 46 DECLARE 47 48 TYPE ENUM1 IS ('A', 'B'); 49 TYPE ENUM2 IS (C, D); 50 51 GENERIC 52 TYPE E IS (<>); 53 E1 : E; 54 WITH FUNCTION F RETURN E; 55 PROCEDURE P; 56 57 PROCEDURE P IS 58 BEGIN 59 IF F /= E1 THEN 60 FAILED ( "WRONG VALUE FOR " & E'IMAGE (E1) & 61 " AS ACTUAL PARAMETER" ); 62 END IF; 63 EXCEPTION 64 WHEN OTHERS => 65 FAILED ( "EXCEPTION RAISED INSIDE OF P WITH " & 66 E'IMAGE (E1) & 67 " AS ACTUAL PARAMETER" ); 68 END P; 69 70 PROCEDURE NP1 IS NEW P (ENUM1, 'A', 'A'); 71 PROCEDURE NP2 IS NEW P (ENUM2, D, D); 72 PROCEDURE NP3 IS NEW P (CHARACTER, IDENT_CHAR('X'), 'X'); 73 BEGIN 74 BEGIN 75 NP1; 76 EXCEPTION 77 WHEN OTHERS => 78 FAILED ( "EXCEPTION RAISED WHEN NP1 CALLED" ); 79 END; 80 81 BEGIN 82 NP2; 83 EXCEPTION 84 WHEN OTHERS => 85 FAILED ( "EXCEPTION RAISED WHEN NP2 CALLED" ); 86 END; 87 88 BEGIN 89 NP3; 90 EXCEPTION 91 WHEN OTHERS => 92 FAILED ( "EXCEPTION RAISED WHEN NP3 CALLED" ); 93 END; 94 END; 95 RESULT; 96 97END CC3603A; 98