a83009b.ada

来自「Mac OS X 10.4.9 for x86 Source Code gcc」· ADA 代码 · 共 197 行

-- A83009B.ADA

--                             Grant of Unlimited Rights
--
--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 
--     unlimited rights in the software and documentation contained herein.
--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 
--     this public release, the Government intends to confer upon all 
--     recipients unlimited rights  equal to those held by the Government.  
--     These rights include rights to use, duplicate, release or disclose the 
--     released technical data and computer software in whole or in part, in 
--     any manner and for any purpose whatsoever, and to have or permit others 
--     to do so.
--
--                                    DISCLAIMER
--
--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 
--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 
--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
--     PARTICULAR PURPOSE OF SAID MATERIAL.
--*
-- OBJECTIVE:
--     CHECK THAT A DERIVED TYPE DECLARATION IN A GENERIC
--     UNIT MAY DERIVE TWO OR MORE SUBPROGRAM HOMOGRAPHS.
--     CHECK THE CASES WHERE:
--          1) THE DERIVED SUBPROGRAMS BECOME HOMOGRAPHS BECAUSE OF THE
--             SUBSTITUTION OF THE DERIVED TYPE FOR THE PARENT TYPE IN
--             THE IMPLICIT SUBPROGRAM SPECIFICATIONS.
--          2) THE PARENT TYPE IS DECLARED IN A GENERIC INSTANCE AND
--             THE INSTANCE INCLUDES TWO OR MORE DERIVABLE SUBPROGRAMS
--             THAT ARE HOMOGRAPHS AS A RESULT OF THE ARGUMENTS GIVEN
--             FOR THE GENERIC FORMAL-TYPE PARAMETERS.
--     TEST CASES WHERE THE DERIVED TYPE DECLARATIONS ARE GIVEN IN:
--          . THE VISIBLE PART OF A GENERIC PACKAGE SPECIFICATION,
--          . THE PRIVATE PART OF A GENERIC PACKAGE SPECIFICATION,
--          . A GENERIC PACKAGE BODY,
--          . A GENERIC SUBPROGRAM BODY.
--
-- HISTORY:
--     DHH 09/20/88 CREATED ORIGINAL TEST.

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
     -- SUBPROGRAMS BECOME HOMOGRAPHS BECAUSE OF SUBSTITUTION.

          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;  -- PRIVATE PART
          END PACK2;                                -- OF SPEC.

          PACKAGE BODY PACK2 IS
               TYPE CHILD2 IS NEW CHILD1;  -- VISIBLE PART OF BODY.

               GENERIC
               PACKAGE IN_BODY IS
                    TYPE CHILD3 IS NEW CHILD1; -- VISIBLE PART OF SPEC.
               END IN_BODY;

               GENERIC
               PROCEDURE P;
               PROCEDURE P IS
                    TYPE CHILD4 IS NEW CHILD1;  -- SUBPROGRAM BODY.
               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
     -- PARENT TYPE IN GENERIC INSTANCE HAS DERIVABLE HOMOGRAPHS.

          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;