1-- C45347D.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 CATENATION IS DEFINED FOR ACCESS TYPES AS COMPONENT TYPES. 26 27-- JWC 11/15/85 28 29WITH REPORT; USE REPORT; 30 31PROCEDURE C45347D IS 32 33BEGIN 34 35 TEST ("C45347D", "CHECK THAT CATENATION IS DEFINED " & 36 "FOR ACCESS TYPES AS COMPONENT TYPES"); 37 38 DECLARE 39 40 SUBTYPE INT IS INTEGER RANGE 1 .. 4; 41 TYPE ACC IS ACCESS INT; 42 TYPE A IS ARRAY ( INT RANGE <>) OF ACC; 43 44 AC1 : ACC := NEW INT'(1); 45 AC2 : ACC := NEW INT'(2); 46 AC3 : ACC := NEW INT'(3); 47 AC4 : ACC := NEW INT'(4); 48 49 A1 : A(1 .. 2) := (AC1, AC2); 50 A2 : A(1 .. 2) := (AC3, AC4); 51 A3 : A(1 .. 4) := (AC1, AC2, AC3, AC4); 52 A4 : A(1 .. 4); 53 A5 : A(1 .. 4) := (AC4, AC3, AC2, AC1); 54 55 BEGIN 56 57 A4 := A1 & A2; 58 59 IF A3 /= A4 THEN 60 FAILED ("INCORRECT CATENATION FOR TWO ARRAYS OF ACCESS"); 61 END IF; 62 63 A4 := A5; 64 65 A4 := A1 & A2(1) & AC4; 66 67 IF A3 /= A4 THEN 68 FAILED ("INCORRECT CATENATION FOR ARRAY OF ACCESS, " & 69 "AND ACCESS"); 70 END IF; 71 72 A4 := A5; 73 74 A4 := AC1 & (A1(2) & A2); 75 76 IF A3 /= A4 THEN 77 FAILED ("INCORRECT CATENATION FOR ACCESS, AND ARRAY " & 78 "OF ACCESS"); 79 END IF; 80 81 A4 := A5; 82 83 A4 := AC1 & A1(2) & (A2(1) & AC4); 84 85 IF A3 /= A4 THEN 86 FAILED ("INCORRECT CATENATION FOR ACCESS"); 87 END IF; 88 89 END; 90 91 RESULT; 92 93END C45347D; 94