-- C87B40A.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. --* -- CHECK THAT OVERLOADING RESOLUTION USES THE FOLLOWING RULES: -- -- THE SAME OPERATIONS ARE PREDEFINED FOR THE TYPE UNIVERSAL_INTEGER -- AS FOR ANY INTEGER TYPE. THE SAME OPERATIONS ARE PREDEFINED FOR THE -- TYPE UNIVERSAL_REAL AS FOR ANY FLOATING POINT TYPE. IN ADDITION -- THESE OPERATIONS INCLUDE THE FOLLOWING MULTIPLICATION AND DIVISION -- OPERATORS: -- -- "*" (UNIVERSAL_REAL, UNIVERSAL_INTEGER) RETURN UNIVERSAL_REAL -- "*" (UNIVERSAL_INTEGER, UNIVERSAL_REAL) RETURN UNIVERSAL_REAL -- "*" (UNIVERSAL_REAL, UNIVERSAL_REAL) RETURN UNIVERSAL_REAL -- "*" (UNIVERSAL_INTEGER, UNIVERSAL_INTEGER) RETURN UNIVERSAL_INTEGER -- "/" (UNIVERSAL_REAL, UNIVERSAL_INTEGER) RETURN UNIVERSAL_REAL -- "**" (UNIVERSAL_INTEGER, INTEGER) RETURN UNIVERSAL_INTEGER -- "**" (UNIVERSAL_REAL, INTEGER) RETURN UNIVERSAL_REAL -- "MOD" (UNIVERSAL_INTEGER, UNIVERSAL_INTEGER) RETURN UNIVERSAL_INTEGER -- "DIV" (UNIVERSAL_INTEGER, UNIVERSAL_INTEGER) RETURN UNIVERSAL_INTEGER -- "ABS" (UNIVERSAL_INTEGER) RETURN UNIVERSAL INTEGER -- "ABS" (UNIVERSAL_REAL) RETURN UNIVERSAL_REAL -- TRH 15 SEPT 82 WITH REPORT; USE REPORT; PROCEDURE C87B40A IS ERR : BOOLEAN := FALSE; B : ARRAY (1 .. 12) OF BOOLEAN := (1 .. 12 => TRUE); FUNCTION "-" (X : INTEGER) RETURN INTEGER RENAMES STANDARD."+"; FUNCTION "+" (X : INTEGER) RETURN INTEGER IS BEGIN ERR := TRUE; RETURN X; END "+"; FUNCTION "+" (X : FLOAT) RETURN FLOAT IS BEGIN ERR := TRUE; RETURN X; END "+"; BEGIN TEST ("C87B40A","OVERLOADING RESOLUTION OF UNIVERSAL " & "EXPRESSIONS"); B(1) := 1.0 * (+1) IN 0.0 .. 0.0; -- 1.0 * 1 B(2) := (+1) * 1.0 IN 0.0 .. 0.0; -- 1 * 1.0 B(3) := 1.0 / (+1) IN 0.0 .. 0.0; -- 1.0 / 1 B(4) := (+1) + (+1) <= (+1) - (+1); -- 1+1< 1 - 1 B(5) := (+1) * (+1) > (+1) / (+1); -- 1*1 > 1/1 B(6) := (+1) MOD (+1) /= (+1) REM (+1); -- 1 MOD 1 /= 1 REM 1 BEGIN B(7) := (+2) ** (-2) < "-" (-1); -- 2**2 < 1 EXCEPTION WHEN CONSTRAINT_ERROR => FAILED("INCORRECT RESOLUTION FOR INTEGER EXPONENT - 7"); END; B(8) := (+1) REM (+1) > "ABS" (+1); -- 1 REM 1 > ABS 1 B(9) := (+1.0) + (+1.0) <= (+1.0) - (+1.0); -- 2.0 <= 0.0 B(10) := (+1.0) * (+1.0) > (+1.0) / (+1.0); -- 1.0 > 1.0 B(11) := (+2.0) ** (-1) < "-" (-1.0); -- 2.0 < 1.0 B(12) := (+2.0) ** (-1) <= "ABS" (+1.0); -- 2.0 <= 1.0 FOR I IN B'RANGE LOOP IF B(I) /= FALSE THEN FAILED("RESOLUTION OR OPERATIONS INCORRECT FOR " & "UNIVERSAL EXPRESSIONS - " & INTEGER'IMAGE(I) ); END IF; END LOOP; IF ERR THEN FAILED ("RESOLUTION INCORRECT FOR UNIVERSAL EXPRESSIONS"); END IF; RESULT; END C87B40A;