WITH REPORT; USE REPORT;
PROCEDURE A83009B IS
TYPE ENUM IS (E1, E2, E3);
GENERIC
TYPE T1 IS (<>);
TYPE T2 IS (<>);
PACKAGE G_PACK IS
TYPE PARENT IS (E1, E2, E3);
PROCEDURE HP (P1 : PARENT; P2 : T1);
PROCEDURE HP (P3 : PARENT; P4 : T2);
FUNCTION HF (P1 : T1) RETURN PARENT;
FUNCTION HF (P2 : T2) RETURN PARENT;
END G_PACK;
PACKAGE BODY G_PACK IS
PROCEDURE HP (P1 : PARENT; P2 : T1) IS
BEGIN
NULL;
END HP;
PROCEDURE HP (P3 : PARENT; P4 : T2) IS
BEGIN
NULL;
END HP;
FUNCTION HF (P1 : T1) RETURN PARENT IS
BEGIN
RETURN E1;
END HF;
FUNCTION HF (P2 : T2) RETURN PARENT IS
BEGIN
RETURN E2;
END HF;
END G_PACK;
BEGIN
TEST ("A83009B", "A DERIVED TYPE DECLARATION IN A GENERIC " &
"UNIT MAY DERIVE TWO OR MORE SUBPROGRAM " &
"HOMOGRAPHS");
DECLARE
GENERIC
PACKAGE PACK2 IS
TYPE CHILD1 IS PRIVATE;
PACKAGE IN_PACK2 IS
TYPE PARENT IS (E1, E2, E3);
PROCEDURE HP (P1 : PARENT; P2 : CHILD1);
PROCEDURE HP (P3 : CHILD1; P4 : PARENT);
FUNCTION HF (P1 : CHILD1; P2 : PARENT)
RETURN PARENT;
FUNCTION HF (P3 : PARENT; P4 : CHILD1)
RETURN PARENT;
END IN_PACK2;
USE IN_PACK2;
PRIVATE
TYPE CHILD1 IS NEW IN_PACK2.PARENT; END PACK2;
PACKAGE BODY PACK2 IS
TYPE CHILD2 IS NEW CHILD1;
GENERIC
PACKAGE IN_BODY IS
TYPE CHILD3 IS NEW CHILD1; END IN_BODY;
GENERIC
PROCEDURE P;
PROCEDURE P IS
TYPE CHILD4 IS NEW CHILD1; BEGIN
NULL;
END;
PACKAGE BODY IN_PACK2 IS
PROCEDURE HP (P1 : PARENT; P2 : CHILD1) IS
BEGIN
NULL;
END HP;
PROCEDURE HP (P3 : CHILD1; P4 : PARENT) IS
BEGIN
NULL;
END HP;
FUNCTION HF (P1 : CHILD1; P2 : PARENT)
RETURN PARENT IS
BEGIN
RETURN E1;
END HF;
FUNCTION HF (P3 : PARENT; P4 : CHILD1)
RETURN PARENT IS
BEGIN
RETURN E2;
END HF;
END IN_PACK2;
BEGIN
NULL;
END PACK2;
BEGIN
NULL;
END;
DECLARE
GENERIC
PACKAGE PACK1 IS
PACKAGE INSTANCE2 IS
NEW G_PACK (CHARACTER, CHARACTER);
TYPE CHILD2 IS NEW INSTANCE2.PARENT;
TYPE CHILD3 IS PRIVATE;
PRIVATE
PACKAGE INSTANCE3 IS
NEW G_PACK (ENUM, ENUM);
TYPE CHILD3 IS NEW INSTANCE3.PARENT;
END PACK1;
GENERIC
PROCEDURE P1;
PROCEDURE P1 IS
PACKAGE INSTANCE4 IS
NEW G_PACK (BOOLEAN, BOOLEAN);
TYPE CHILD4 IS NEW INSTANCE4.PARENT;
BEGIN
NULL;
END P1;
PACKAGE BODY PACK1 IS
PACKAGE INSTANCE5 IS
NEW G_PACK (ENUM, ENUM);
TYPE CHILD5 IS NEW INSTANCE5.PARENT;
END PACK1;
BEGIN
NULL;
END;
RESULT;
END A83009B;