WITH REPORT; USE REPORT;
PROCEDURE CC1304B IS
BEGIN
TEST ("CC1304B", "GENERIC FORMAL SUBPROGRAMS MAY HAVE A " &
"PARAMETER OF A GENERIC FORMAL TYPE, AND MAY " &
"RETURN A GENERIC FORMAL TYPE. CHECK MODES IN " &
"OUT AND OUT");
DECLARE
GENERIC
TYPE T IS ( <> );
WITH PROCEDURE S (P : OUT T);
WITH PROCEDURE P (P : IN OUT T);
WITH FUNCTION L RETURN T;
PROCEDURE PR (PARM1, PARM2, PARM3 : IN OUT T);
PROCEDURE PR (PARM1, PARM2, PARM3 : IN OUT T) IS
BEGIN
S (P => PARM1);
P (P => PARM2);
PARM3 := L;
END PR;
BEGIN
DECLARE
C : CHARACTER := 'A';
C1 : CHARACTER := 'Y';
C2 : CHARACTER := 'I';
B : BOOLEAN := FALSE;
B1 : BOOLEAN := TRUE;
B2 : BOOLEAN := FALSE;
I : INTEGER := 5;
I1 : INTEGER := 10;
I2 : INTEGER := 0;
TYPE ENUM IS (E1, E2, E3);
F : ENUM := E2;
F1 : ENUM := E1;
F2 : ENUM := E2;
PROCEDURE FC (P : OUT CHARACTER) IS
BEGIN
P := 'B';
END FC;
PROCEDURE FB (P : OUT BOOLEAN) IS
BEGIN
P := NOT B;
END FB;
PROCEDURE FI (P : OUT INTEGER) IS
BEGIN
P := I + 1;
END FI;
PROCEDURE FE (P : OUT ENUM) IS
BEGIN
P := ENUM'SUCC (F);
END FE;
PROCEDURE PC (P : IN OUT CHARACTER) IS
BEGIN
P := 'Z';
END PC;
PROCEDURE PB (P : IN OUT BOOLEAN) IS
BEGIN
P := NOT B1;
END PB;
PROCEDURE PI (P : IN OUT INTEGER) IS
BEGIN
P := I1 + 1;
END PI;
PROCEDURE PE (P : IN OUT ENUM) IS
BEGIN
P := ENUM'SUCC (F1);
END PE;
FUNCTION LC RETURN CHARACTER IS
BEGIN
RETURN 'J';
END LC;
FUNCTION LB RETURN BOOLEAN IS
BEGIN
RETURN TRUE;
END LB;
FUNCTION LI RETURN INTEGER IS
BEGIN
RETURN IDENT_INT(5);
END LI;
FUNCTION LE RETURN ENUM IS
BEGIN
RETURN ENUM'SUCC(F2);
END LE;
PACKAGE PKG2 IS
PROCEDURE P1 IS NEW PR (CHARACTER, FC, PC, LC);
PROCEDURE P2 IS NEW PR (BOOLEAN, FB, PB, LB);
PROCEDURE P3 IS NEW PR (INTEGER, FI, PI, LI);
PROCEDURE P4 IS NEW PR (ENUM, FE, PE, LE);
END PKG2;
PACKAGE BODY PKG2 IS
BEGIN
P1 (C,C1,C2);
P2 (B,B1,B2);
P3 (I,I1,I2);
P4 (F,F1,F2);
END PKG2;
BEGIN
IF C /= 'B' OR B /= TRUE OR I /= 6 OR F /= E3 THEN
FAILED ("SUBPROGRAM PARAMETERS OF FORMAL TYPES - " &
"MODE OUT");
END IF;
IF C1 /= 'Z' OR B1 /= FALSE OR I1 /= 11 OR F1 /= E2 THEN
FAILED ("SUBPROGRAM PARAMETERS OF FORMAL TYPES - " &
"MODE IN OUT");
END IF;
IF C2 /= 'J' OR B2 /= TRUE OR I2 /= 5 OR F2 /= E3 THEN
FAILED ("GENERIC FORMAL SUBPROGRAMS RETURNING A " &
"GENERIC FORMAL TYPE");
END IF;
END;
END;
RESULT;
END CC1304B;