3 -- Grant of Unlimited Rights
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
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.
26 -- CHECK THAT A USE CLAUSE MAKES AN IMPLICITLY OR EXPLICITLY
27 -- DECLARED OPERATOR DIRECTLY VISIBLE IF NO HOMOGRAPH OF THE
28 -- OPERATOR IS ALREADY DIRECTLY VISIBLE.
31 -- JET 03/10/88 CREATED ORIGINAL TEST.
33 WITH REPORT
; USE REPORT
;
36 TYPE INT
IS NEW INTEGER RANGE -100 .. 100;
39 FUNCTION "+" (LEFT
: INTEGER; RIGHT
: INT
) RETURN INTEGER;
40 FUNCTION "-" (LEFT
, RIGHT
: INT
) RETURN INT
;
41 FUNCTION "-" (RIGHT
: INT
) RETURN INTEGER;
42 FUNCTION "+" (RIGHT
: INT
) RETURN INTEGER;
45 FUNCTION "+" (RIGHT
: INT
) RETURN INTEGER IS
47 RETURN INTEGER'(1) + INTEGER(RIGHT);
51 FUNCTION "+" (LEFT : INTEGER; RIGHT : INT) RETURN INTEGER IS
53 RETURN LEFT + INTEGER(RIGHT);
56 FUNCTION "-" (LEFT, RIGHT : INT) RETURN INT IS
58 FAILED ("BINARY ""-"" ALREADY VISIBLE FOR TYPE INT");
59 RETURN LEFT + (-RIGHT);
62 FUNCTION "-" (RIGHT : INT) RETURN INTEGER IS
64 RETURN INTEGER'(0) - INTEGER(RIGHT
);
67 FUNCTION "+" (RIGHT
: INT
) RETURN INTEGER IS
69 FAILED
("UNARY ""+"" ALREADY VISIBLE FOR TYPE INT");
70 RETURN INTEGER'(0) + INTEGER(RIGHT);
77 TEST ("C84009A", "CHECK THAT A USE CLAUSE MAKES AN IMPLICITLY " &
78 "OR EXPLICITLY DECLARED OPERATOR DIRECTLY " &
79 "VISIBLE IF NO HOMOGRAPH OF THE OPERATOR IS " &
80 "ALREADY DIRECTLY VISIBLE");
82 IF INTEGER'(10) + INT
'(10) /= IDENT_INT(20) THEN
83 FAILED ("INCORRECT RESULT FROM BINARY ""+""");
86 IF INT'(5) - INT
'(3) /= INT'(2) THEN
87 FAILED
("INCORRECT RESULT FROM BINARY ""-""");
90 IF -INT
'(20) /= IDENT_INT(-INTEGER'(20)) THEN
91 FAILED
("INCORRECT RESULT FROM UNARY ""-""");
94 IF +INT
'(20) /= IDENT_INT(+INTEGER'(21)) THEN
95 FAILED
("INCORRECT RESULT FROM UNARY ""+""");