/* input_file.h header for input-file.c   Copyright (C) 1987 Free Software Foundation, Inc.This file is part of GAS, the GNU Assembler.GAS is free software; you can redistribute it and/or modifyit under the terms of the GNU General Public License as published bythe Free Software Foundation; either version 1, or (at your option)any later version.GAS is distributed in the hope that it will be useful,but WITHOUT ANY WARRANTY; without even the implied warranty ofMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See theGNU General Public License for more details.You should have received a copy of the GNU General Public Licensealong with GAS; see the file COPYING.  If not, write tothe Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  *//*"input_file.c":Operating-system dependant functions to read source files.*//* * No matter what the operating system, this module must provide the * following services to its callers. * * input_file_begin()			Call once before anything else. * * input_file_end()			Call once after everything else. * * input_file_buffer_size()		Call anytime. Returns largest possible *					delivery from *					input_file_give_next_buffer(). * * input_file_open(name)		Call once for each input file. * * input_file_give_next_buffer(where)	Call once to get each new buffer. *					Return 0: no more chars left in file, *					   the file has already been closed. *					Otherwise: return a pointer to just *					   after the last character we read *					   into the buffer. *					If we can only read 0 characters, then *					end-of-file is faked. * * All errors are reported (using as_perror) so caller doesn't have to think * about I/O errors. No I/O errors are fatal: an end-of-file may be faked. */void	input_file_begin();void	input_file_end();int	input_file_buffer_size();int	input_file_is_open();void	input_file_open();char *	input_file_give_next_buffer();/* end: input_file.h */