1-- C35503A.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 'WIDTH' YIELDS THE CORRECT RESULT WHEN THE PREFIX IS AN 26-- INTEGER TYPE. 27 28-- RJW 3/12/86 29 30WITH REPORT; USE REPORT; 31 32PROCEDURE C35503A IS 33 34BEGIN 35 TEST ("C35503A", "CHECK THAT 'WIDTH' YIELDS THE CORRECT " & 36 "RESULT WHEN THE PREFIX IS AN INTEGER TYPE" ); 37 38 DECLARE 39 SUBTYPE SINTEGER IS INTEGER; 40 41 TYPE INT IS RANGE -1000 .. 1000; 42 TYPE INT2 IS NEW INT RANGE 1E2 .. 1E2; 43 44 SUBTYPE SINT1 IS INT RANGE 00000 .. 100; 45 SUBTYPE SINT2 IS INT RANGE 16#E#E1 .. 2#1111_1111#; 46 SUBTYPE SINT3 IS INT RANGE -100 .. 9; 47 SUBTYPE NOINT IS INT RANGE 1 .. -1; 48 49 BEGIN 50 IF IDENT_INT(SINTEGER'WIDTH) /= INTEGER'WIDTH THEN 51 FAILED ( "WRONG WIDTH FOR 'SINTEGER'" ); 52 END IF; 53 54 IF IDENT_INT(INT'WIDTH) /= 5 THEN 55 FAILED ( "WRONG WIDTH FOR 'INT'" ); 56 END IF; 57 58 IF IDENT_INT(INT2'WIDTH) /= 4 THEN 59 FAILED ( "WRONG WIDTH FOR 'INT2'"); 60 END IF; 61 62 IF IDENT_INT(SINT1'WIDTH) /= 4 THEN 63 FAILED ( "WRONG WIDTH FOR 'SINT1'" ); 64 END IF; 65 66 IF IDENT_INT(SINT2'WIDTH) /= 4 THEN 67 FAILED ( "WRONG WIDTH FOR 'SINT2'" ); 68 END IF; 69 70 IF IDENT_INT(SINT3'WIDTH) /= 4 THEN 71 FAILED ( "WRONG WIDTH FOR 'SINT3'" ); 72 END IF; 73 74 IF IDENT_INT(NOINT'WIDTH) /= 0 THEN 75 FAILED ( "WRONG WIDTH FOR 'NOINT'" ); 76 END IF; 77 END; 78 79 RESULT; 80END C35503A; 81