gomp-20050608-branch/gcc/testsuite/ada/acats/tests/a/ac3207a.ada

   1 -- AC3207A.ADA
   2
   3 --                             Grant of Unlimited Rights
   4 --
   5 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
   6 --     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
   7 --     unlimited rights in the software and documentation contained herein.
   8 --     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
   9 --     this public release, the Government intends to confer upon all
  10 --     recipients unlimited rights  equal to those held by the Government.
  11 --     These rights include rights to use, duplicate, release or disclose the
  12 --     released technical data and computer software in whole or in part, in
  13 --     any manner and for any purpose whatsoever, and to have or permit others
  14 --     to do so.
  15 --
  16 --                                    DISCLAIMER
  17 --
  18 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  19 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  20 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  21 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  22 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  23 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  24 --*
  25 -- OBJECTIVE:
  26 --     CHECK THAT AN INSTANTIATION IS LEGAL IF A FORMAL PARAMETER
  27 --     HAVING A LIMITED PRIVATE TYPE WITHOUT DISCRIMINANTS IS USED TO
  28 --     DECLARE AN OBJECT IN A BLOCK THAT CONTAINS A SELECTIVE WAIT
  29 --     WITH A TERMINATE ALTERNATIVE, AND THE ACTUAL PARAMETER'S BASE
  30 --     TYPE IS A TASK TYPE OR A TYPE WITH A SUBCOMPONENT OF A TASK TYPE.
  31
  32 -- HISTORY:
  33 --     DHH 09/16/88  CREATED ORIGINAL TEST.
  34
  35 WITH REPORT; USE REPORT;
  36 PROCEDURE AC3207A IS
  37
  38      GENERIC
  39           TYPE PRIV IS LIMITED PRIVATE;
  40      PACKAGE GEN_P IS
  41           TASK T1 IS
  42                ENTRY E;
  43           END T1;
  44      END GEN_P;
  45
  46      TASK TYPE TASK_T IS
  47      END TASK_T;
  48
  49      TYPE REC IS
  50           RECORD
  51                OBJ : TASK_T;
  52           END RECORD;
  53
  54      PACKAGE BODY GEN_P IS
  55           TASK BODY T1 IS
  56           BEGIN
  57                DECLARE
  58                     OBJ : PRIV;
  59                BEGIN
  60                     SELECT
  61                          ACCEPT E;
  62                     OR
  63                          TERMINATE;
  64                     END SELECT;
  65                END;
  66           END T1;
  67      END GEN_P;
  68
  69      TASK BODY TASK_T IS
  70      BEGIN
  71           NULL;
  72      END;
  73
  74      PACKAGE P IS NEW GEN_P(TASK_T);
  75      PACKAGE NEW_P IS NEW GEN_P(REC);
  76
  77 BEGIN
  78      TEST ("AC3207A", "CHECK THAT AN INSTANTIATION IS LEGAL IF A " &
  79                       "FORMAL PARAMETER HAVING A LIMITED PRIVATE " &
  80                       "TYPE WITHOUT DISCRIMINANTS IS USED TO " &
  81                       "DECLARE AN OBJECT IN A BLOCK THAT CONTAINS " &
  82                       "A SELECTIVE WAIT WITH A TERMINATE " &
  83                       "ALTERNATIVE, AND THE ACTUAL PARAMETER'S BASE " &
  84                       "TYPE IS A TASK TYPE OR A TYPE WITH A " &
  85                       "SUBCOMPONENT OF A TASK TYPE");
  86
  87      P.T1.E;
  88
  89      NEW_P.T1.E;
  90
  91      RESULT;
  92 END AC3207A;