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