1-- C87B14A.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-- IN SUBTYPE INDICATIONS WITH INDEX CONSTRAINTS, THE LOWER AND UPPER 28-- BOUNDS MUST BE OF THE INDEX BASE TYPE. 29-- 30-- TEST (A): INDEX CONSTRAINTS WITH OVERLOADED FUNCTIONS. 31 32-- TRH 30 JUNE 82 33 34WITH REPORT; USE REPORT; 35 36PROCEDURE C87B14A IS 37 38 SUBTYPE WHOLE IS INTEGER RANGE 0 .. INTEGER'LAST; 39 SUBTYPE BASE10 IS INTEGER RANGE 0 .. 9; 40 TYPE LIST IS ARRAY (INTEGER RANGE <>) OF BOOLEAN; 41 TYPE GRID IS ARRAY (INTEGER RANGE <>, INTEGER RANGE <>) OF BOOLEAN; 42 43 FUNCTION F1 RETURN WHOLE IS 44 BEGIN 45 RETURN 1; 46 END F1; 47 48 FUNCTION F1 RETURN BOOLEAN IS 49 BEGIN 50 FAILED ("RESOLUTION INCORRECT - INDEX CONSTRAINTS " & 51 " IN SUBTYPE INDICATIONS"); 52 RETURN TRUE; 53 END F1; 54 55 FUNCTION F2 RETURN BASE10 IS 56 BEGIN 57 RETURN 2; 58 END F2; 59 60 FUNCTION F2 RETURN FLOAT IS 61 BEGIN 62 FAILED ("RESOLUTION INCORRECT - INDEX CONSTRAINTS " & 63 " IN SUBTYPE INDICATIONS"); 64 RETURN 2.0; 65 END F2; 66 67BEGIN 68 TEST ("C87B14A","OVERLOADED EXPRESSIONS IN INDEX CONSTRAINTS " & 69 "OF SUBTYPE INDICATIONS"); 70 71 DECLARE 72 SUBTYPE LIST1 IS LIST (1 .. F1); 73 SUBTYPE LIST2 IS LIST (F1 .. 1); 74 SUBTYPE LIST3 IS LIST (F2 .. F2); 75 SUBTYPE LIST4 IS LIST (F1 .. F2); 76 77 SUBTYPE GRID1 IS GRID (1 .. F1, F1 .. 1); 78 SUBTYPE GRID2 IS GRID (F1 .. 2, 2 .. F2); 79 SUBTYPE GRID3 IS GRID (F1 .. F1, F2 .. F2); 80 SUBTYPE GRID4 IS GRID (F1 .. F2, 1 .. 2); 81 82 BEGIN 83 NULL; 84 END; 85 86 RESULT; 87END C87B14A; 88