WITH REPORT; USE REPORT;
PROCEDURE C67002E IS
FUNCTION TWO_PARAMS (I1, I2 : INTEGER) RETURN CHARACTER IS
BEGIN
IF I1 > I2 THEN
RETURN 'G';
ELSE RETURN 'L';
END IF;
END TWO_PARAMS;
FUNCTION ONE_PARAM (I1 : INTEGER) RETURN CHARACTER IS
BEGIN
IF I1 < IDENT_INT(0) THEN
RETURN 'N';
ELSE RETURN 'P';
END IF;
END ONE_PARAM;
BEGIN
TEST ("C67002E", "USE OF OPERATOR SYMBOLS IN " &
"(OVERLOADED) FUNCTION SPECIFICATIONS");
DECLARE
PACKAGE PKG IS
TYPE LP IS LIMITED PRIVATE;
FUNCTION "=" (LPA, LPB : LP) RETURN BOOLEAN;
PRIVATE
TYPE LP IS NEW INTEGER;
END PKG;
USE PKG;
LP1, LP2 : LP;
FUNCTION "=" (LPA, LPB : LP)
RETURN BOOLEAN RENAMES PKG."=";
PACKAGE BODY PKG IS
FUNCTION "=" (LPA, LPB : LP) RETURN BOOLEAN IS
BEGIN
RETURN LPA > LPB;
END "=";
BEGIN
LP1 := LP (IDENT_INT (7));
LP2 := LP (IDENT_INT (8));
END PKG;
BEGIN IF (LP1 = LP2) OR NOT (LP2 = LP1) OR
(LP1 = LP1) OR (LP2 /= LP1) THEN
FAILED ("OVERLOADING OF ""="" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "AND" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) AND 1) /= 'G' OR
(5 AND 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""AND"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "OR" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) OR 1) /= 'G' OR
(5 OR 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""OR"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "XOR" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) XOR 1) /= 'G' OR
(5 XOR 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""XOR"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "<" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) < 1) /= 'G' OR
(5 < 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""<"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "<=" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) <= 1) /= 'G' OR
(5 <= 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""<="" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION ">" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) > 1) /= 'G' OR
(5 > 10) /= 'L' THEN
FAILED ("OVERLOADING OF "">"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION ">=" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) >= 1) /= 'G' OR
(5 >= 10) /= 'L' THEN
FAILED ("OVERLOADING OF "">="" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "&" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) & 1) /= 'G' OR
(5 & 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""&"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "*" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) * 1) /= 'G' OR
(5 * 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""*"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "/" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) / 1) /= 'G' OR
(5 / 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""/"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "MOD" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) MOD 1) /= 'G' OR
(5 MOD 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""MOD"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "REM" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) REM 1) /= 'G' OR
(5 REM 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""REM"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "**" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) ** 1) /= 'G' OR
(5 ** 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""**"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "+" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) + 1) /= 'G' OR
(5 + 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""+"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "-" (I1, I2 : INTEGER)
RETURN CHARACTER RENAMES TWO_PARAMS;
BEGIN IF (IDENT_INT (10) - 1) /= 'G' OR
(5 - 10) /= 'L' THEN
FAILED ("OVERLOADING OF ""-"" OPERATOR DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "+" (I1 : INTEGER)
RETURN CHARACTER RENAMES ONE_PARAM;
BEGIN IF (+ IDENT_INT(25) /= 'P') OR
(+ (0-25) /= 'N') THEN
FAILED ("OVERLOADING OF ""+"" " &
"OPERATOR (ONE OPERAND) DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "-" (I1 : INTEGER)
RETURN CHARACTER RENAMES ONE_PARAM;
BEGIN IF (- IDENT_INT(25) /= 'P') OR
(- (0-25) /= 'N') THEN
FAILED ("OVERLOADING OF ""-"" " &
"OPERATOR (ONE OPERAND) DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "NOT" (I1 : INTEGER)
RETURN CHARACTER RENAMES ONE_PARAM;
BEGIN IF (NOT IDENT_INT(25) /= 'P') OR
(NOT (0-25) /= 'N') THEN
FAILED ("OVERLOADING OF ""NOT"" " &
"OPERATOR (ONE OPERAND) DEFECTIVE");
END IF;
END;
DECLARE FUNCTION "ABS" (I1 : INTEGER)
RETURN CHARACTER RENAMES ONE_PARAM;
BEGIN IF (ABS IDENT_INT(25) /= 'P') OR
(ABS (0-25) /= 'N') THEN
FAILED ("OVERLOADING OF ""ABS"" " &
"OPERATOR (ONE OPERAND) DEFECTIVE");
END IF;
END;
RESULT;
END C67002E;