-- D4A004B.ADA -- Grant of Unlimited Rights -- -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained -- unlimited rights in the software and documentation contained herein. -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making -- this public release, the Government intends to confer upon all -- recipients unlimited rights equal to those held by the Government. -- These rights include rights to use, duplicate, release or disclose the -- released technical data and computer software in whole or in part, in -- any manner and for any purpose whatsoever, and to have or permit others -- to do so. -- -- DISCLAIMER -- -- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR -- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED -- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE -- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE -- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A -- PARTICULAR PURPOSE OF SAID MATERIAL. --* -- INTEGERS TO 64 BITS IN NUMBER DECLARATIONS. UNLIKE TEST C4A002B, -- NO CANCELLATION IS INVOLVED. -- BAW 29 SEPT 80 -- JWC 7/8/85 RENAMED TO -AB WITH REPORT; PROCEDURE D4A004B IS USE REPORT; X : CONSTANT := 2200000000000000000 + 2199999999999999999; Y : CONSTANT := -2200000000000000001 - 2199999999999999998; Z : CONSTANT := 4 * (10 ** 18); D : CONSTANT := 2 ** 63 / 1; E : CONSTANT := ( 2 ** 63 - 1 ) REM 454_279; F : CONSTANT := ABS(( -2 ** 55 + 1 ) MOD 2047 ); BEGIN TEST("D4A004B","LARGE INTEGER VALUES IN NUMBER DECLARATIONS; " & "LONGEST INTEGER IS 64 BITS "); IF X /= 4399999999999999999 THEN FAILED ("ERROR X"); END IF; IF Y /= -4399999999999999999 THEN FAILED ("ERROR Y"); END IF; IF Z /= 4000000000000000000 THEN FAILED ("ERROR Z"); END IF; IF E /= 0 THEN FAILED ("ERROR E"); END IF; IF F /= 0 THEN FAILED ("ERROR F"); END IF; IF D /= 9_223_372_036_854_775_808 THEN FAILED ("ERROR D"); END IF; RESULT; END D4A004B;