WITH REPORT; USE REPORT;
PROCEDURE A83009A 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 ("A83009A", "A DERIVED TYPE DECLARATION AND A GENERIC " &
"INSTANTIATION MAY DERIVE TWO OR " &
"MORE SUBPROGRAM HOMOGRAPHS");
DECLARE
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;
PRIVATE
TYPE CHILD1 IS NEW IN_PACK2.PARENT;
END PACK2;
PACKAGE BODY PACK2 IS
TYPE CHILD2 IS NEW CHILD1;
PACKAGE IN_BODY IS
TYPE CHILD3 IS NEW CHILD1;
END IN_BODY;
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
DECLARE
TYPE CHILD5 IS NEW CHILD1;
BEGIN
NULL;
END;
END PACK2;
BEGIN
NULL;
END;
DECLARE
PACKAGE INSTANCE1 IS
NEW G_PACK (BOOLEAN, BOOLEAN);
TYPE CHILD1 IS NEW INSTANCE1.PARENT;
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;
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 A83009A;