1-- A95001C.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 IF THE BOUNDS OF THE DISCRETE RANGE OF AN ENTRY FAMILY 26-- ARE INTEGER LITERALS, NAMED NUMBERS, OR ATTRIBUTES HAVING TYPE 27-- UNIVERSAL_INTEGER, BUT NOT EXPRESSIONS OF TYPE UNIVERSAL_INTEGER, 28-- THE INDEX (IN AN ENTRY NAME OR ACCEPT STATEMENT) IS OF THE 29-- PREDEFINED TYPE INTEGER. 30 31-- WEI 3/4/82 32-- RJK 2/1/84 ADDED TO ACVC 33-- TBN 1/7/86 RENAMED FROM B950DHA-B.ADA. ADDED NAMED CONSTANTS 34-- AND ATTRIBUTES AS KINDS OF BOUNDS, AND MADE TEST 35-- EXECUTABLE. 36-- RJW 4/11/86 RENAMED FROM C95001C-B.ADA. 37 38WITH REPORT; USE REPORT; 39 40PROCEDURE A95001C IS 41 42 SUBTYPE T IS INTEGER RANGE 1 .. 10; 43 I : INTEGER := 1; 44 NAMED_INT1 : CONSTANT := 1; 45 NAMED_INT2 : CONSTANT := 2; 46 47 TASK T1 IS 48 ENTRY E1 (1 .. 2); 49 ENTRY E2 (NAMED_INT1 .. NAMED_INT2); 50 ENTRY E3 (T'POS(1) .. T'POS(2)); 51 END T1; 52 53 TASK BODY T1 IS 54 I_INT : INTEGER := 1; 55 I_POS : INTEGER := 2; 56 BEGIN 57 ACCEPT E1 (I_INT); 58 ACCEPT E2 (I_POS); 59 ACCEPT E3 (T'SUCC(1)); 60 END T1; 61 62BEGIN 63 TEST ("A95001C", "CHECK THAT IF THE BOUNDS OF THE DISCRETE " & 64 "RANGE OF AN ENTRY FAMILY ARE INTEGER " & 65 "LITERALS, NAMED NUMBERS, OR " & 66 "(UNIVERSAL_INTEGER) ATTRIBUTES, THE INDEX " & 67 "IS OF THE PREDEFINED TYPE INTEGER"); 68 69 T1.E1 (I); 70 T1.E2 (NAMED_INT2); 71 T1.E3 (T'SUCC(I)); 72 73 RESULT; 74END A95001C; 75