embedded-5_0-branch/gcc/testsuite/ada/acats/tests/c3/c35502f.tst

   1 -- C35502F.TST
   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 -- CHECK THAT IMAGE AND VALUE ATTRIBUTES ARE CORRECT FOR A FORMAL
  26 -- DISCRETE TYPE WHOSE ACTUAL PARAMETER IS AN ENUMERATED TYPE
  27 -- WITH THE LONGEST POSSIBLE IDENTIFIER AS ONE CONSTANT.
  28
  29 -- PWB  03/05/86
  30 -- DWC  07/22/87     -- ADDED THE CONSTANT STRING 'STR'.
  31
  32 WITH REPORT; USE REPORT;
  33
  34 PROCEDURE C35502F IS
  35
  36      -- BIG_ID1 IS AN IDENTIFIER OF MAXIMUM LENGTH.
  37      TYPE ENUM IS ( EVAL1,
  38 $BIG_ID1
  39                   );
  40
  41      -- BIG_STRING1 & BIG_STRING2 YIELDS BIG_ID.
  42      STR1 : CONSTANT STRING :=
  43 $BIG_STRING1;
  44      STR2 : CONSTANT STRING :=
  45 $BIG_STRING2;
  46      STR : CONSTANT STRING := STR1 & STR2;
  47
  48      GENERIC
  49           TYPE FORMAL IS (<>);
  50      PROCEDURE GEN_PROC;
  51
  52      PROCEDURE GEN_PROC IS
  53      BEGIN
  54           VALUE_CHECK:
  55           BEGIN
  56                IF FORMAL'VALUE (STR) /= FORMAL'LAST THEN
  57                     FAILED ("VALUE OF LONG STRING NOT LONG IDENTIFIER");
  58                END IF;
  59           EXCEPTION
  60                WHEN OTHERS =>
  61                     FAILED ("EXCEPTION RAISED IN CHECKING " &
  62                             "VALUE ATTRIBUTE");
  63           END VALUE_CHECK;
  64
  65           IMAGE_CHECK:
  66           BEGIN
  67                IF FORMAL'IMAGE (FORMAL'LAST) /= STR
  68                THEN
  69                     FAILED ("IMAGE OF LONG IDENTIFIER NOT LONG STRING");
  70                END IF;
  71           EXCEPTION
  72                WHEN OTHERS =>
  73                     FAILED ("EXCEPTION RAISED IN CHECKING " &
  74                             "IMAGE ATTRIBUTE");
  75           END IMAGE_CHECK;
  76
  77      END GEN_PROC;
  78
  79      PROCEDURE TEST_PROC IS NEW GEN_PROC (ENUM);
  80
  81 BEGIN   -- C35502F
  82
  83      TEST ("C35502F", "IMAGE AND VALUE ATTRIBUTES FOR A FORMAL " &
  84                       "DISCRETE TYPE WITH ONE ACTUAL VALUE HAVING " &
  85                       "LONGEST POSSIBLE IDENTIFIER");
  86      TEST_PROC;
  87      RESULT;
  88
  89 END C35502F;