old-autovect-branch/gcc/testsuite/ada/acats/tests/ce/ce3408c.ada

   1 -- CE3408C.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 THE FILE PARAMETER OF END_OF_FILE IS OPTIONAL, AND
  27 --     THAT THE FUNCTION IS THEN APPLIED TO THE CURRENT DEFAULT INPUT
  28 --     FILE.
  29
  30 -- APPLICABILITY CRITERIA:
  31 --     THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT
  32 --     TEXT FILES.
  33
  34 -- HISTORY:
  35 --     ABW 08/26/82
  36 --     TBN 11/10/86  REVISED TEST TO OUTPUT A NOT_APPLICABLE
  37 --                   RESULT WHEN FILES ARE NOT SUPPORTED.
  38 --     JLH 08/31/87  REMOVED DEPENDENCE ON RESET, REMOVED UNNECESSARY
  39 --                   CODE, AND CHECKED FOR USE_ERROR ON DELETE.
  40
  41 WITH REPORT;
  42 USE REPORT;
  43 WITH TEXT_IO;
  44 USE TEXT_IO;
  45
  46 PROCEDURE CE3408C IS
  47
  48      INCOMPLETE : EXCEPTION;
  49      FILE_IN : FILE_TYPE;
  50      CHAR : CHARACTER := 'A';
  51      ITEM_CHAR : CHARACTER;
  52
  53 BEGIN
  54
  55      TEST ("CE3408C", "CHECK THAT THE FILE PARAMETER OF END_OF_FILE " &
  56                       "IS OPTIONAL, AND THAT THE FUNCTION IS THEN " &
  57                       "APPLIED TO THE CURRENT DEFAULT INPUT FILE");
  58
  59
  60 -- CREATE TEST FILE
  61
  62      BEGIN
  63           CREATE (FILE_IN, OUT_FILE, LEGAL_FILE_NAME);
  64      EXCEPTION
  65           WHEN USE_ERROR =>
  66                NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE WITH " &
  67                                "OUT_FILE MODE");
  68                RAISE INCOMPLETE;
  69           WHEN NAME_ERROR =>
  70                NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT CREATE " &
  71                                "WITH OUT_FILE MODE");
  72                RAISE INCOMPLETE;
  73           WHEN OTHERS =>
  74                FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE");
  75                RAISE INCOMPLETE;
  76      END;
  77
  78      FOR I IN 1..3 LOOP
  79           PUT (FILE_IN, CHAR);
  80      END LOOP;
  81      NEW_PAGE (FILE_IN);
  82
  83      PUT (FILE_IN, CHAR);
  84
  85      CLOSE (FILE_IN);
  86
  87      BEGIN
  88           OPEN (FILE_IN, IN_FILE, LEGAL_FILE_NAME);
  89      EXCEPTION
  90           WHEN USE_ERROR =>
  91                NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT OPEN WITH " &
  92                                "MODE IN_FILE");
  93                RAISE INCOMPLETE;
  94      END;
  95
  96      SET_INPUT (FILE_IN);
  97      IF END_OF_FILE THEN
  98           FAILED ("INCORRECT VALUE AT FIRST POSITION");
  99      END IF;
 100
 101      IF END_OF_FILE /= END_OF_FILE (FILE_IN) THEN
 102           FAILED ("END OF FILE DOES NOT OPERATE WITH DEFAULT FILE");
 103      END IF;
 104
 105      WHILE NOT END_OF_PAGE (FILE_IN)
 106      LOOP
 107           GET (ITEM_CHAR);
 108      END LOOP;
 109
 110      IF END_OF_FILE THEN
 111           FAILED ("INCORRECT VALUE BEFORE LAST CHARACTER");
 112      END IF;
 113
 114      IF END_OF_FILE /= END_OF_FILE (FILE_IN) THEN
 115           FAILED ("END_OF_FILE WITHOUT PARAMETER DOES " &
 116                   "NOT OPERATE ON THE DEFAULT INPUT FILE");
 117      END IF;
 118
 119      GET (ITEM_CHAR);
 120
 121      IF NOT (END_OF_FILE) THEN
 122           FAILED ("INCORRECT VALUE AT LAST POSITION");
 123      END IF;
 124
 125      BEGIN
 126           DELETE (FILE_IN);
 127      EXCEPTION
 128           WHEN USE_ERROR =>
 129                NULL;
 130      END;
 131
 132      RESULT;
 133
 134 EXCEPTION
 135      WHEN INCOMPLETE =>
 136           RESULT;
 137
 138 END CE3408C;