WITH REPORT;
PROCEDURE C67003F IS
USE REPORT;
BEGIN
TEST ("C67003F", "CHECK THAT REDEFINITION OF " &
"OPERATORS FOR PREDEFINED TYPES WORKS");
DECLARE
FUNCTION "*" (X, Y : INTEGER) RETURN INTEGER IS
BEGIN
IF X /= Y THEN
RETURN 1;
ELSE RETURN 0;
END IF;
END "*";
FUNCTION "+" (X, Y : INTEGER) RETURN INTEGER IS
BEGIN
IF X /= Y THEN
RETURN 2;
ELSE RETURN 0;
END IF;
END "+";
FUNCTION "REM" (X, Y : INTEGER) RETURN INTEGER IS
BEGIN
IF X /= Y THEN
RETURN 3;
ELSE RETURN 0;
END IF;
END "REM";
FUNCTION "+" (X : INTEGER) RETURN INTEGER IS
BEGIN
IF X /= 0 THEN
RETURN 4;
ELSE RETURN 0;
END IF;
END "+";
FUNCTION "ABS" (X : INTEGER) RETURN INTEGER IS
BEGIN
IF X /= 0 THEN
RETURN 5;
ELSE RETURN 0;
END IF;
END "ABS";
FUNCTION "<" (X, Y : INTEGER) RETURN BOOLEAN IS
BEGIN
RETURN X = Y;
END "<";
BEGIN
IF IDENT_INT (3) * IDENT_INT (5) /= 1 THEN
FAILED ("REDEFINITION OF INTEGER ""*"" IS DEFECTIVE");
END IF;
IF IDENT_INT (1) + IDENT_INT (30) /= 2 THEN
FAILED ("REDEFINITION OF INTEGER ""+"" IS DEFECTIVE");
END IF;
IF IDENT_INT (7) REM IDENT_INT (8) /= 3 THEN
FAILED ("REDEFINITION OF ""REM"" IS DEFECTIVE");
END IF;
IF + (IDENT_INT (10)) /= 4 THEN
FAILED ("REDEFINITION OF INTEGER UNARY ""+"" IS DEFECTIVE");
END IF;
IF ABS (IDENT_INT (2)) /= 5 THEN
FAILED ("REDEFINITION OF INTEGER ""ABS"" IS DEFECTIVE");
END IF;
IF IDENT_INT (7) < IDENT_INT (8) THEN
FAILED ("REDEFINITION OF INTEGER ""<"" IS DEFECTIVE");
END IF;
END;
DECLARE
FUNCTION IDENT_FLOAT (X : FLOAT) RETURN FLOAT IS
I : INTEGER := INTEGER (X);
BEGIN
IF EQUAL (I, I) THEN RETURN X;
END IF;
RETURN 0.0;
END IDENT_FLOAT;
FUNCTION "-" (X, Y : FLOAT) RETURN FLOAT IS
BEGIN
IF X /= Y THEN
RETURN 1.0;
ELSE RETURN 0.0;
END IF;
END "-";
FUNCTION "/" (X, Y : FLOAT) RETURN FLOAT IS
BEGIN
IF X /= Y THEN
RETURN 2.0;
ELSE RETURN 0.0;
END IF;
END "/";
FUNCTION "**" (X : FLOAT; Y : INTEGER) RETURN FLOAT IS
BEGIN
IF INTEGER (X) /= Y THEN
RETURN 3.0;
ELSE RETURN 0.0;
END IF;
END "**";
FUNCTION "-" (X : FLOAT) RETURN FLOAT IS
BEGIN
IF X /= 0.0 THEN
RETURN 4.0;
ELSE RETURN 0.0;
END IF;
END "-";
FUNCTION "<=" (X, Y : FLOAT) RETURN BOOLEAN IS
BEGIN
RETURN X = Y;
END "<=";
BEGIN
IF IDENT_FLOAT (50.0) - IDENT_FLOAT (100.0) /= 1.0 THEN
FAILED ("REDEFINITION OF FLOAT ""-"" IS DEFECTIVE");
END IF;
IF IDENT_FLOAT (5.0) / IDENT_FLOAT (1.0) /= 2.0 THEN
FAILED ("REDEFINITION OF FLOAT ""/"" IS DEFECTIVE");
END IF;
IF IDENT_FLOAT (3.0) ** IDENT_INT (2) /= 3.0 THEN
FAILED ("REDEFINITION OF FLOAT ""**"" IS DEFECTIVE");
END IF;
IF -(IDENT_FLOAT (5.0)) /= 4.0 THEN
FAILED ("REDEFINITION OF FLOAT UNARY ""-"" IS DEFECTIVE");
END IF;
IF IDENT_FLOAT (1.0) <= IDENT_FLOAT (5.0) THEN
FAILED ("REDEFINITION OF FLOAT ""<="" IS DEFECTIVE");
END IF;
END;
DECLARE
FUNCTION "AND" (X, Y : BOOLEAN) RETURN BOOLEAN IS
BEGIN
IF X AND THEN Y THEN
RETURN FALSE;
ELSE RETURN TRUE;
END IF;
END "AND";
FUNCTION "XOR" (X, Y : BOOLEAN) RETURN BOOLEAN IS
BEGIN
RETURN X = Y;
END "XOR";
FUNCTION ">" (X, Y : BOOLEAN) RETURN BOOLEAN IS
BEGIN
RETURN X = Y;
END ">";
BEGIN
IF IDENT_BOOL (TRUE) AND IDENT_BOOL (TRUE) THEN
FAILED ("REDEFINITION OF ""AND"" IS DEFECTIVE");
END IF;
IF IDENT_BOOL (TRUE) XOR IDENT_BOOL (FALSE) THEN
FAILED ("REDEFINITION OF ""XOR"" IS DEFECTIVE");
END IF;
IF IDENT_BOOL (TRUE) > IDENT_BOOL (FALSE) THEN
FAILED ("REDEFINITION OF BOOLEAN "">"" IS DEFECTIVE");
END IF;
END;
DECLARE
S1 : STRING (1..2) := "A" & IDENT_CHAR ('B');
S2 : STRING (1..2) := "C" & IDENT_CHAR ('D');
FUNCTION "&" (X, Y : STRING) RETURN STRING IS
Z : STRING (1 .. X'LENGTH + Y'LENGTH);
BEGIN
Z (1 .. Y'LENGTH) := Y;
Z (Y'LENGTH + 1 .. Z'LAST) := X;
RETURN Z;
END "&";
FUNCTION "&" (X : CHARACTER; Y : STRING) RETURN STRING IS
Z : STRING (1 .. Y'LENGTH + 1);
BEGIN
Z (1 .. Y'LENGTH) := Y;
Z (Z'LAST) := X;
RETURN Z;
END "&";
FUNCTION ">=" (X, Y : STRING) RETURN BOOLEAN IS
BEGIN
RETURN X = Y;
END ">=";
BEGIN
IF S1 & S2 /= "CDAB" THEN
FAILED ("BAD REDEFINITION OF ""&"" (S,S)");
END IF;
IF IDENT_CHAR ('C') & S1 /= "ABC" THEN
FAILED ("BAD REDEFINITION OF ""&"" (C,S)");
END IF;
IF S2 >= S1 THEN
FAILED ("BAD REDEFINITION OF STRING "">=""");
END IF;
END;
DECLARE
FUNCTION ">" (X, Y : CHARACTER) RETURN BOOLEAN IS
BEGIN
RETURN X = Y;
END ">";
FUNCTION "<=" (X, Y : CHARACTER) RETURN BOOLEAN IS
BEGIN
RETURN X = Y;
END "<=";
BEGIN
IF IDENT_CHAR ('C') > IDENT_CHAR ('B') THEN
FAILED ("REDEFINITION OF CHARACTER "">"" IS DEFECTIVE");
END IF;
IF IDENT_CHAR ('A') <= IDENT_CHAR ('E') THEN
FAILED ("REDEFINITION OF CHARACTER ""<="" IS DEFECTIVE");
END IF;
END;
RESULT;
END C67003F;