src/getargs.h

   1 /* Parse command line arguments for bison.
   2    Copyright (C) 1984, 1986, 1989, 1992, 2000, 2001, 2002, 2003, 2004, 2005
   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
  27 /* for -S */
  28 extern char const *skeleton;
  29
  30 /* for -I */
  31 extern char const *include;
  32
  33 extern bool debug_flag;                 /* for -t */
  34 extern bool defines_flag;               /* for -d */
  35 extern bool locations_flag;
  36 extern bool no_lines_flag;              /* for -l */
  37 extern bool no_parser_flag;             /* for -n */
  38 extern bool token_table_flag;           /* for -k */
  39 extern bool graph_flag;                 /* for -g */
  40 extern bool yacc_flag;                  /* for -y */
  41
  42 /* GLR_PARSER is true if the input file says to use the GLR
  43    (Generalized LR) parser, and to output some additional information
  44    used by the GLR algorithm.  */
  45
  46 extern bool glr_parser;
  47
  48 /* PURE_PARSER is true if should generate a parser that is all pure
  49    and reentrant.  */
  50
  51 extern bool pure_parser;
  52
  53 /* NONDETERMINISTIC_PARSER is true iff conflicts are accepted.  This
  54    is used by the GLR parser, and might be used in BackTracking
  55    parsers too.  */
  56
  57 extern bool nondeterministic_parser;
  58
  59 /* --trace.  */
  60 enum trace
  61   {
  62     trace_none      = 0,
  63     trace_scan      = 1 << 0,
  64     trace_parse     = 1 << 1,
  65     trace_resource  = 1 << 2,
  66     trace_sets      = 1 << 3,
  67     trace_bitsets   = 1 << 4,
  68     trace_tools     = 1 << 5,
  69     trace_automaton = 1 << 6,
  70     trace_grammar   = 1 << 7,
  71     trace_time      = 1 << 8,
  72     trace_skeleton  = 1 << 9,
  73     trace_all       = ~0
  74   };
  75 extern int trace_flag;
  76
  77 /* --report.  */
  78 enum report
  79   {
  80     report_none             = 0,
  81     report_states           = 1 << 0,
  82     report_itemsets         = 1 << 1,
  83     report_look_ahead_tokens= 1 << 2,
  84     report_solved_conflicts = 1 << 3,
  85     report_all              = ~0
  86   };
  87 extern int report_flag;
  88
  89 void getargs (int argc, char *argv[]);
  90
  91 #endif /* !GETARGS_H_ */