src/getargs.h

   1 /* Parse command line arguments for bison.
   2    Copyright 1984, 1986, 1989, 1992, 2000, 2001 Free Software Foundation, Inc.
   3
   4    This file is part of Bison, the GNU Compiler Compiler.
   5
   6    Bison is free software; you can redistribute it and/or modify it
   7    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    Bison is distributed in the hope that it will be useful, but
  12    WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14    General Public License for more details.
  15
  16    You should have received a copy of the GNU General Public License
  17    along with Bison; see the file COPYING.  If not, write to the Free
  18    Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
  19    02111-1307, USA.  */
  20
  21 #ifndef GETARGS_H_
  22 # define GETARGS_H_
  23
  24 /* flags set by % directives */
  25 extern char *spec_file_prefix;  /* for -b */
  26 extern char *spec_name_prefix;  /* for -p */
  27 extern char *skeleton;
  28
  29 extern int debug_flag;          /* for -t */
  30 extern int defines_flag;        /* for -d */
  31 extern int locations_flag;
  32 extern int no_lines_flag;       /* for -l */
  33 extern int no_parser_flag;      /* for -n */
  34 extern int raw_flag;            /* for -r */
  35 extern int statistics_flag;
  36 extern int token_table_flag;    /* for -k */
  37 extern int verbose_flag;        /* for -v */
  38 extern int yacc_flag;           /* for -y */
  39
  40 void getargs PARAMS ((int argc, char *argv[]));
  41
  42 #endif /* !GETARGS_H_ */