WITH REPORT; USE REPORT;
PROCEDURE C44003G IS
BEGIN
TEST ("C44003G", "CHECK FOR CORRECT PRECEDENCE OF PRE-DEFINED " &
"AND OVERLOADED OPERATIONS ON BOOLEAN TYPES " &
"AND ONE-DIMENSIONAL ARRAYS WITH COMPONENTS OF " &
"TYPE BOOLEAN");
DECLARE
T : BOOLEAN := TRUE;
F : BOOLEAN := FALSE;
FUNCTION "AND" (LEFT, RIGHT : BOOLEAN) RETURN BOOLEAN IS
BEGIN
RETURN FALSE;
END "AND";
FUNCTION "<" (LEFT, RIGHT : BOOLEAN) RETURN BOOLEAN IS
BEGIN
RETURN TRUE;
END "<";
FUNCTION "-" (LEFT, RIGHT : BOOLEAN) RETURN BOOLEAN IS
BEGIN
RETURN TRUE;
END "-";
FUNCTION "+" (RIGHT : BOOLEAN) RETURN BOOLEAN IS
BEGIN
RETURN NOT RIGHT;
END "+";
FUNCTION "*" (LEFT, RIGHT : BOOLEAN) RETURN BOOLEAN IS
BEGIN
RETURN FALSE;
END "*";
FUNCTION "**" (LEFT, RIGHT : BOOLEAN) RETURN BOOLEAN IS
BEGIN
RETURN TRUE;
END "**";
BEGIN
IF NOT (+T = F) OR T /= +F OR (TRUE AND FALSE ** TRUE) OR
NOT (+T < F) OR NOT (T - F * T) OR (NOT T - F XOR + F - F)
THEN
FAILED ("INCORRECT RESULT - 1");
END IF;
END;
DECLARE
TYPE ARR IS ARRAY (INTEGER RANGE <>) OF BOOLEAN;
SUBTYPE SARR IS ARR (1 .. 3);
T : SARR := (OTHERS => TRUE);
F : SARR := (OTHERS => FALSE);
FUNCTION "XOR" (LEFT, RIGHT : ARR) RETURN ARR IS
BEGIN
RETURN (1 .. 3 => FALSE);
END "XOR";
FUNCTION "<=" (LEFT, RIGHT : ARR) RETURN ARR IS
BEGIN
RETURN (1 .. 3 => TRUE);
END "<=";
FUNCTION "+" (LEFT, RIGHT : ARR) RETURN ARR IS
BEGIN
RETURN (1 .. 3 => FALSE);
END "+";
FUNCTION "MOD" (LEFT, RIGHT : ARR) RETURN ARR IS
BEGIN
RETURN (1 .. 3 => TRUE);
END "MOD";
FUNCTION "**" (LEFT, RIGHT : ARR) RETURN ARR IS
BEGIN
RETURN (1 .. 3 => FALSE);
END "**";
BEGIN
IF (F ** T <= F + T MOD T XOR T) /= (1 .. 3 => FALSE)
THEN
FAILED ("INCORRECT RESULT - 2");
END IF;
IF F ** T & T /= NOT T & T OR
(T MOD F <= T) /= (1 .. 3 => TRUE) THEN
FAILED ("INCORRECT RESULT - 3");
END IF;
END;
RESULT;
END C44003G;