1-- C87B24B.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 OVERLOADING RESOLUTION USES THE RULE THAT: 26 27-- THE RANGE BOUNDS FOR A SLICE MUST BE DISCRETE AND OF THE SAME BASE 28-- TYPE AS THE ARRAY INDEX. 29 30-- TRH 15 JULY 82 31 32WITH REPORT; USE REPORT; 33 34PROCEDURE C87B24B IS 35 36 TYPE PIECE IS ARRAY (INTEGER RANGE <>) OF INTEGER; 37 38 PI : PIECE (1 .. 8) := (3, 1, 4, 1, 5, 9, 2, 6); 39 S1 : PIECE (1 .. 3); 40 S2 : PIECE (4 .. 8); 41 ERR : BOOLEAN := FALSE; 42 43 FUNCTION F1 (X : INTEGER) RETURN INTEGER IS 44 BEGIN 45 RETURN X; 46 END F1; 47 48 FUNCTION F1 (X : INTEGER) RETURN FLOAT IS 49 BEGIN 50 ERR := TRUE; 51 RETURN 0.0; 52 END F1; 53 54 FUNCTION F2 (X : INTEGER) RETURN INTEGER IS 55 BEGIN 56 RETURN X; 57 END F2; 58 59 FUNCTION F2 (X :INTEGER) RETURN CHARACTER IS 60 BEGIN 61 ERR := TRUE; 62 RETURN 'A'; 63 END F2; 64 65BEGIN 66 TEST ("C87B24B","OVERLOADING RESOLUTION OF RANGE " & 67 "CONSTRAINTS FOR SLICES"); 68 69 DECLARE 70 FUNCTION "+" (X : INTEGER) RETURN INTEGER 71 RENAMES F1; 72 73 FUNCTION "+" (X : INTEGER) RETURN FLOAT 74 RENAMES F1; 75 76 FUNCTION "-" (X : INTEGER) RETURN INTEGER 77 RENAMES F2; 78 79 FUNCTION "-" (X : INTEGER) RETURN CHARACTER 80 RENAMES F2; 81 82 BEGIN 83 S1 := PI ("+" (3) .. "-" (5)); 84 S1 := PI (F2 (2) .. "+" (4)); 85 S1 := PI ("-" (6) .. F1 (8)); 86 S1 := PI (F2 (1) .. F2 (3)); 87 S2 := PI (F2 (4) .. F1 (8)); 88 S2 := PI (2 .. "+" (6)); 89 S2 := PI (F1 (1) .. 5); 90 S2 := PI ("+" (3) .. "+" (7)); 91 92 IF ERR THEN 93 FAILED (" OVERLOADING RESOLUTION INCORRECT FOR SLICES"); 94 END IF; 95 END; 96 97 RESULT; 98END C87B24B; 99