WITH REPORT; USE REPORT;
PROCEDURE CC3012A IS
BEGIN
TEST ("CC3012A", "CHECK THAT GENERIC INSTANCES MAY OVERLOAD " &
"OTHER IDENTIFIERS");
DECLARE
GENERIC
TYPE T IS ( <> );
V : IN T;
PROCEDURE GP (X : IN OUT T);
GENERIC
TYPE T IS ( <> );
FUNCTION LESS (X, Y : T) RETURN BOOLEAN;
GENERIC
TYPE T IS ( <> );
FUNCTION PLUS (X, Y : T) RETURN T;
GENERIC
TYPE T IS PRIVATE;
Z : T;
FUNCTION F1 RETURN T;
TYPE DC IS NEW CHARACTER RANGE IDENT_CHAR ('A') .. 'Z';
TYPE DI IS NEW INTEGER;
TYPE ENUM IS (E1, E2, E3, E4);
VC : CHARACTER := 'A';
VI : INTEGER := 5;
VB : BOOLEAN := TRUE;
VE : ENUM := E2;
TYPE DENUM IS NEW ENUM RANGE E2 .. ENUM'LAST;
VDE : DENUM := E4;
VDC : DC := 'A';
VDI : DI := 7;
PROCEDURE GP (X : IN OUT T) IS
BEGIN
X := V;
END GP;
FUNCTION LESS (X, Y : T) RETURN BOOLEAN IS
BEGIN
RETURN FALSE;
END LESS;
FUNCTION PLUS (X, Y : T) RETURN T IS
BEGIN
RETURN T'FIRST;
END PLUS;
FUNCTION F1 RETURN T IS
BEGIN
RETURN Z;
END F1;
FUNCTION E5 RETURN INTEGER IS
BEGIN
RETURN 1;
END E5;
PACKAGE PKG IS
PROCEDURE P IS NEW GP (CHARACTER, 'Q');
PROCEDURE P IS NEW GP (INTEGER, -14);
PROCEDURE P IS NEW GP (BOOLEAN, FALSE);
PROCEDURE P IS NEW GP (ENUM, E4);
PROCEDURE P IS NEW GP (DC, 'W');
PROCEDURE P IS NEW GP (DI, -33);
PROCEDURE P IS NEW GP (DENUM, E2);
FUNCTION "<" IS NEW LESS (CHARACTER);
FUNCTION "<" IS NEW LESS (INTEGER);
FUNCTION "<" IS NEW LESS (BOOLEAN);
FUNCTION "<" IS NEW LESS (ENUM);
FUNCTION "<" IS NEW LESS (DC);
FUNCTION "<" IS NEW LESS (DI);
FUNCTION "+" IS NEW PLUS (CHARACTER);
FUNCTION "+" IS NEW PLUS (INTEGER);
FUNCTION "+" IS NEW PLUS (BOOLEAN);
FUNCTION "+" IS NEW PLUS (ENUM);
FUNCTION "+" IS NEW PLUS (DC);
FUNCTION "+" IS NEW PLUS (DENUM);
FUNCTION E2 IS NEW F1 (BOOLEAN, FALSE);
FUNCTION E5 IS NEW F1 (DC, 'M');
END PKG;
PACKAGE BODY PKG IS
BEGIN
P (VC);
P (VI);
P (VB);
P (VE);
P (X => VDE);
P (X => VDC);
P (X => VDI);
IF VC /= 'Q' THEN
FAILED ("OVERLOADED PROCEDURE - 1");
END IF;
IF VI /= -14 THEN
FAILED ("OVERLOADED PROCEDURE - 2");
END IF;
IF VB /= FALSE THEN
FAILED ("OVERLOADED PROCEDURE - 3");
END IF;
IF VE /= E4 THEN
FAILED ("OVERLOADED PROCEDURE - 4");
END IF;
IF VDE /= E2 THEN
FAILED ("OVERLOADED PROCEDURE - 5");
END IF;
IF VDC /= 'W' THEN
FAILED ("OVERLOADED PROCEDURE - 6");
END IF;
IF VDI /= -33 THEN
FAILED ("OVERLOADED PROCEDURE - 7");
END IF;
IF VC < ASCII.DEL THEN
FAILED ("OVERLOADED LESS THAN - 1");
END IF;
IF VI < 1E3 THEN
FAILED ("OVERLOADED LESS THAN - 2");
END IF;
IF FALSE < TRUE THEN
FAILED ("OVERLOADED LESS THAN - 3");
END IF;
IF E1 < VE THEN
FAILED ("OVERLOADED LESS THAN - 4");
END IF;
IF VDC < 'Z' THEN
FAILED ("OVERLOADED LESS THAN - 5");
END IF;
IF VDI < 0 THEN
FAILED ("OVERLOADED LESS THAN - 6");
END IF;
IF -14 + 5 /= -9 THEN
FAILED ("OVERLOADED PLUS - 2");
END IF;
IF VI + 5 /= INTEGER'FIRST THEN
FAILED ("OVERLOADED PLUS - 3");
END IF;
IF VB + TRUE /= FALSE THEN
FAILED ("OVERLOADED PLUS - 4");
END IF;
IF VE + E2 /= E1 THEN
FAILED ("OVERLOADED PLUS - 5");
END IF;
IF DENUM'(E3) + E2 /= E2 THEN
FAILED ("OVERLOADED PLUS - 6");
END IF;
IF VDC + 'B' /= 'A' THEN
FAILED ("OVERLOADED PLUS - 7");
END IF;
IF VDI + 14 /= -19 THEN FAILED ("OVERLOADED PLUS - 8");
END IF;
VI := E5;
VDC := E5;
VE := E2;
VB := E2;
IF VI /= 1 OR
VDC /= 'M' OR
VE /= ENUM'VAL(IDENT_INT(1)) OR
VB /= FALSE THEN
FAILED ("OVERLOADING OF ENUMERATION LITERALS " &
"AND PREDEFINED SUBPROGRAMS");
END IF;
END PKG;
BEGIN
DECLARE
USE PKG;
BEGIN
IF NOT (VI + 5 < 11) THEN
FAILED ("INCORRECT VISIBILITY OF GENERIC OVERLOADING");
END IF;
END;
END;
RESULT;
END CC3012A;