src/getargs.h

   1 /* Parse command line arguments for bison.
   2    Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004
   3    Free Software Foundation, Inc.
   4
   5    This file is part of Bison, the GNU Compiler Compiler.
   6
   7    Bison is free software; you can redistribute it and/or modify it
   8    under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 2, or (at your option)
  10    any later version.
  11
  12    Bison is distributed in the hope that it will be useful, but
  13    WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  15    General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with Bison; see the file COPYING.  If not, write to the Free
  19    Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  20    02110-1301, USA.  */
  21
  22 #ifndef GETARGS_H_
  23 # define GETARGS_H_
  24
  25 /* flags set by % directives */
  26 extern const char *skeleton;            /* for -S */
  27 extern const char *include;             /* for -I */
  28
  29 extern bool debug_flag;                 /* for -t */
  30 extern bool defines_flag;               /* for -d */
  31 extern bool locations_flag;
  32 extern bool no_lines_flag;              /* for -l */
  33 extern bool no_parser_flag;             /* for -n */
  34 extern bool token_table_flag;           /* for -k */
  35 extern bool graph_flag;                 /* for -g */
  36 extern bool yacc_flag;                  /* for -y */
  37
  38 /* GLR_PARSER is true if the input file says to use the GLR
  39    (Generalized LR) parser, and to output some additional information
  40    used by the GLR algorithm.  */
  41
  42 extern bool glr_parser;
  43
  44 /* PURE_PARSER is true if should generate a parser that is all pure
  45    and reentrant.  */
  46
  47 extern bool pure_parser;
  48
  49 /* NONDETERMINISTIC_PARSER is true iff conflicts are accepted.  This
  50    is used by the GLR parser, and might be used in BackTracking
  51    parsers too.  */
  52
  53 extern bool nondeterministic_parser;
  54
  55 /* --trace.  */
  56 enum trace
  57   {
  58     trace_none      = 0,
  59     trace_scan      = 1 << 0,
  60     trace_parse     = 1 << 1,
  61     trace_resource  = 1 << 2,
  62     trace_sets      = 1 << 3,
  63     trace_bitsets   = 1 << 4,
  64     trace_tools     = 1 << 5,
  65     trace_automaton = 1 << 6,
  66     trace_grammar   = 1 << 7,
  67     trace_time      = 1 << 8,
  68     trace_skeleton  = 1 << 9,
  69     trace_all       = ~0
  70   };
  71 extern int trace_flag;
  72
  73 /* --report.  */
  74 enum report
  75   {
  76     report_none             = 0,
  77     report_states           = 1 << 0,
  78     report_itemsets         = 1 << 1,
  79     report_look_ahead_tokens= 1 << 2,
  80     report_solved_conflicts = 1 << 3,
  81     report_all              = ~0
  82   };
  83 extern int report_flag;
  84
  85 void getargs (int argc, char *argv[]);
  86
  87 #endif /* !GETARGS_H_ */