gcc/testsuite/ada/acats/tests/ce/ce3704m.ada

   1 -- CE3704M.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 GET FOR INTEGER_IO RAISES DATA_ERROR WHEN
  27 --     THE INPUT CONTAINS
  28 --
  29 --     (1)  INTEGER_IO DECIMAL POINT
  30 --     (2)  INTEGER_IO LEADING OR TRAILING UNDERSCORES.
  31
  32 -- APPLICABILITY CRITERIA:
  33 --     THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH
  34 --     SUPPORT TEXT FILES.
  35
  36 -- HISTORY:
  37 --     VKG 02/10/83
  38 --     CPP 07/30/84
  39 --     EG  05/22/85
  40 --     RJW 11/04/86  REVISED TEST TO OUTPUT A NON_APPLICABLE
  41 --                   RESULT WHEN FILES ARE NOT SUPPORTED.
  42 --     DWC 09/11/87  REMOVED UNNECESSARY CODE, CORRECTED
  43 --                   EXCEPTION HANDLING, AND ADDED CASES WHICH
  44 --                   CHECK GET AT THE END_OF_FILE.
  45
  46 WITH REPORT; USE REPORT;
  47 WITH TEXT_IO; USE TEXT_IO;
  48
  49 PROCEDURE CE3704M IS
  50      INCOMPLETE : EXCEPTION;
  51
  52 BEGIN
  53
  54      TEST ("CE3704M", "CHECK THAT DATA_ERROR IS RAISED FOR " &
  55                       "INTEGER_IO WHEN A DECIMAL POINT, OR " &
  56                       "LEADING OR TRAILING UNDERSCORES " &
  57                       "ARE DETECTED");
  58
  59      DECLARE
  60           FT : FILE_TYPE;
  61           CH : CHARACTER;
  62      BEGIN
  63
  64           BEGIN
  65                CREATE (FT, OUT_FILE, LEGAL_FILE_NAME);
  66           EXCEPTION
  67                WHEN USE_ERROR =>
  68                     NOT_APPLICABLE ("USE_ERROR RAISED ON CREATE " &
  69                                     "WITH OUT_FILE MODE");
  70                     RAISE INCOMPLETE;
  71                WHEN NAME_ERROR =>
  72                     NOT_APPLICABLE ("NAME_ERROR RAISED ON CREATE " &
  73                                     "WITH OUT_FILE MODE");
  74                     RAISE INCOMPLETE;
  75           END;
  76
  77           PUT (FT, "3.14152");
  78           NEW_LINE (FT);
  79           PUT (FT, "2.15");
  80           NEW_LINE (FT);
  81           PUT (FT, "_312");
  82           NEW_LINE (FT);
  83           PUT (FT, "-312_");
  84
  85           CLOSE (FT);
  86
  87           DECLARE
  88                PACKAGE INT_IO IS NEW INTEGER_IO(INTEGER);
  89                USE INT_IO;
  90                X : INTEGER := 402;
  91           BEGIN
  92
  93                BEGIN
  94                     OPEN (FT, IN_FILE, LEGAL_FILE_NAME);
  95                EXCEPTION
  96                     WHEN USE_ERROR =>
  97                          NOT_APPLICABLE ("USE_ERROR RAISED; TEXT " &
  98                                          "OPEN WITH IN_FILE MODE");
  99                          RAISE INCOMPLETE;
 100                END;
 101
 102                BEGIN
 103                     GET (FT, X, 3);
 104                     FAILED ("DATA_ERROR NOT RAISED - (1)");
 105                EXCEPTION
 106                     WHEN DATA_ERROR =>
 107                          NULL;
 108                     WHEN OTHERS =>
 109                          FAILED ("UNEXPECTED EXCEPTION RAISED - (1)");
 110                END;
 111
 112                IF END_OF_LINE (FT) THEN
 113                     FAILED ("GET STOPPED AT END OF LINE - (1)");
 114                ELSE
 115                     GET (FT, CH);
 116                     IF CH /= '4' THEN
 117                          FAILED ("GET STOPPED AT WRONG " &
 118                                  "POSITION - (1): CHAR IS " & CH);
 119                     END IF;
 120                END IF;
 121
 122                SKIP_LINE (FT);
 123
 124                BEGIN
 125                     GET (FT, X);
 126                     IF X /= 2 THEN
 127                          FAILED ("WRONG VALUE READ - (2)");
 128                     END IF;
 129                EXCEPTION
 130                     WHEN DATA_ERROR =>
 131                          FAILED ("DATA_ERROR RAISED - (2)");
 132                     WHEN OTHERS =>
 133                          FAILED ("UNEXPECTED EXCEPTION RAISED - (2)");
 134                END;
 135
 136                IF END_OF_LINE (FT) THEN
 137                     FAILED ("GET STOPPED AT END OF LINE - (2)");
 138                ELSE
 139                     GET (FT, CH);
 140                     IF CH /= '.' THEN
 141                          FAILED ("GET STOPPED AT WRONG " &
 142                                  "POSITION - (2): CHAR IS " & CH);
 143                     END IF;
 144                END IF;
 145
 146                SKIP_LINE (FT);
 147
 148                BEGIN
 149                     GET (FT, X);
 150                     FAILED ("DATA_ERROR NOT RAISED - (3)");
 151                EXCEPTION
 152                     WHEN DATA_ERROR =>
 153                          NULL;
 154                     WHEN OTHERS =>
 155                          FAILED ("UNEXPECTED EXCEPTION RAISED - (3)");
 156                END;
 157
 158                IF END_OF_LINE (FT) THEN
 159                     FAILED ("GET STOPPED AT END OF LINE - (3)");
 160                ELSE
 161                     GET (FT, CH);
 162                     IF CH /= '_' THEN
 163                          FAILED ("GET STOPPED AT WRONG POSITION " &
 164                                  "- (3): CHAR IS " & CH);
 165                     END IF;
 166                END IF;
 167
 168                SKIP_LINE (FT);
 169
 170                BEGIN
 171                     GET (FT, X);
 172                     FAILED ("DATA_ERROR NOT RAISED - (4)");
 173                EXCEPTION
 174                     WHEN DATA_ERROR =>
 175                          NULL;
 176                     WHEN OTHERS =>
 177                          FAILED ("UNEXPECTED EXCEPTION RAISED - (4)");
 178                END;
 179
 180                IF NOT END_OF_LINE (FT) THEN
 181                     FAILED ("END_OF_LINE NOT TRUE AFTER (4)");
 182                END IF;
 183
 184                BEGIN
 185                     DELETE (FT);
 186                EXCEPTION
 187                     WHEN USE_ERROR =>
 188                          NULL;
 189                END;
 190           END;
 191      EXCEPTION
 192           WHEN INCOMPLETE =>
 193                NULL;
 194      END;
 195
 196      RESULT;
 197
 198 END CE3704M;