gnu/usr.bin/as/input-file.h

   1 /* input_file.h header for input-file.c
   2    Copyright (C) 1987, 1992 Free Software Foundation, Inc.
   3
   4    This file is part of GAS, the GNU Assembler.
   5
   6    GAS is free software; you can redistribute it and/or modify
   7    it under the terms of the GNU General Public License as published by
   8    the Free Software Foundation; either version 2, or (at your option)
   9    any later version.
  10
  11    GAS is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14    GNU General Public License for more details.
  15
  16    You should have received a copy of the GNU General Public License
  17    along with GAS; see the file COPYING.  If not, write to
  18    the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
  19
  20 /*"input_file.c":Operating-system dependant functions to read source files.*/
  21
  22 /*
  23  * $FreeBSD: src/gnu/usr.bin/as/input-file.h,v 1.6 1999/08/27 23:34:18 peter Exp $
  24  */
  25
  26
  27 /*
  28  * No matter what the operating system, this module must provide the
  29  * following services to its callers.
  30  *
  31  * input_file_begin()                   Call once before anything else.
  32  *
  33  * input_file_end()                     Call once after everything else.
  34  *
  35  * input_file_buffer_size()             Call anytime. Returns largest possible
  36  *                                      delivery from
  37  *                                      input_file_give_next_buffer().
  38  *
  39  * input_file_open(name)                Call once for each input file.
  40  *
  41  * input_file_give_next_buffer(where)   Call once to get each new buffer.
  42  *                                      Return 0: no more chars left in file,
  43  *                                         the file has already been closed.
  44  *                                      Otherwise: return a pointer to just
  45  *                                         after the last character we read
  46  *                                         into the buffer.
  47  *                                      If we can only read 0 characters, then
  48  *                                      end-of-file is faked.
  49  *
  50  * input_file_push()                    Push state, which can be restored
  51  *                                      later.  Does implicit input_file_begin.
  52  *                                      Returns char * to saved state.
  53  *
  54  * input_file_pop (arg)                 Pops previously saved state.
  55  *
  56  * input_file_close ()                  Closes opened file.
  57  *
  58  * All errors are reported (using as_perror) so caller doesn't have to think
  59  * about I/O errors. No I/O errors are fatal: an end-of-file may be faked.
  60  */
  61
  62 #if __STDC__ == 1
  63
  64 char *input_file_give_next_buffer(char *where);
  65 char *input_file_push(void);
  66 int input_file_buffer_size(void);
  67 int input_file_is_open(void);
  68 void input_file_begin(void);
  69 void input_file_close(void);
  70 void input_file_end(void);
  71 void input_file_open(char *filename, int pre);
  72 void input_file_pop(char *arg);
  73
  74 #else /* not __STDC__ */
  75
  76 char *input_file_give_next_buffer();
  77 char *input_file_push();
  78 int input_file_buffer_size();
  79 int input_file_is_open();
  80 void input_file_begin();
  81 void input_file_close();
  82 void input_file_end();
  83 void input_file_open();
  84 void input_file_pop();
  85
  86 #endif /* not __STDC__ */
  87
  88 /* end of input_file.h */