gcc/input.h

   1 /* Declarations for variables relating to reading the source file.
   2    Used by parsers, lexical analyzers, and error message routines.
   3    Copyright (C) 1993, 1997, 1998, 2000 Free Software Foundation, Inc.
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify it under
   8 the terms of the GNU General Public License as published by the Free
   9 Software Foundation; either version 2, or (at your option) any later
  10 version.
  11
  12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GCC; see the file COPYING.  If not, write to the Free
  19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
  20 02111-1307, USA.  */
  21
  22 /* Source file current line is coming from.  */
  23 extern const char *input_filename;
  24
  25 /* Top-level source file.  */
  26 extern const char *main_input_filename;
  27
  28 /* Line number in current source file.  */
  29 extern int lineno;
  30
  31 /* Stream for reading from input file.  */
  32 extern FILE *finput;
  33
  34 struct file_stack
  35   {
  36     const char *name;
  37     struct file_stack *next;
  38     int line;
  39     int indent_level;
  40   };
  41
  42 /* Stack of currently pending input files.
  43    The line member is not accurate for the innermost file on the stack.  */
  44 extern struct file_stack *input_file_stack;
  45
  46 /* Incremented on each change to input_file_stack.  */
  47 extern int input_file_stack_tick;
  48
  49 extern void push_srcloc PARAMS ((const char *name, int line));
  50 extern void pop_srcloc PARAMS ((void));