src/getargs.c

   1 /* Parse command line arguments for bison.
   2    Copyright 1984, 1986, 1989, 1992, 2000, 2001, 2002
   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., 59 Temple Place - Suite 330, Boston, MA
  20    02111-1307, USA.  */
  21
  22 #include "system.h"
  23 #include "getopt.h"
  24 #include "argmatch.h"
  25 #include "complain.h"
  26 #include "getargs.h"
  27 #include "options.h"
  28 #include "files.h"
  29
  30 int debug_flag = 0;
  31 int defines_flag = 0;
  32 int locations_flag = 0;
  33 int no_lines_flag = 0;
  34 int no_parser_flag = 0;
  35 int report_flag = 0;
  36 int token_table_flag = 0;
  37 int yacc_flag = 0;      /* for -y */
  38 int graph_flag = 0;
  39 int trace_flag = 0;
  40
  41 const char *skeleton = NULL;
  42 const char *include = NULL;
  43
  44 extern char *program_name;
  45
  46 /*----------------------.
  47 | --report's handling.  |
  48 `----------------------*/
  49
  50 static const char * const report_args[] =
  51 {
  52   /* In a series of synonyms, present the most meaningful first, so
  53      that argmatch_valid be more readable.  */
  54   "none",
  55   "state", "states",
  56   "itemset", "itemsets",
  57   "lookahead", "lookaheads",
  58   "solved",
  59   "all",
  60   0
  61 };
  62
  63 static const int report_types[] =
  64 {
  65   report_none,
  66   report_states, report_states,
  67   report_states | report_itemsets, report_states | report_itemsets,
  68   report_states | report_lookaheads, report_states | report_lookaheads,
  69   report_states | report_solved_conflicts,
  70   report_all
  71 };
  72
  73
  74 static void
  75 report_argmatch (char *args)
  76 {
  77   ARGMATCH_ASSERT (report_args, report_types);
  78   do
  79     {
  80       int report = XARGMATCH ("--report", args,
  81                               report_args, report_types);
  82       if (report == report_none)
  83         report_flag = report_none;
  84       else
  85         report_flag |= report;
  86     }
  87   while ((args = strtok (NULL, ",")));
  88 }
  89
  90 /*---------------------------.
  91 | Display the help message.  |
  92 `---------------------------*/
  93
  94 static void
  95 usage (FILE *stream)
  96 {
  97   /* Some efforts were made to ease the translators' task, please
  98      continue.  */
  99   fputs (_("\
 100 GNU bison generates parsers for LALR(1) grammars.\n"), stream);
 101   putc ('\n', stream);
 102
 103   fprintf (stream, _("\
 104 Usage: %s [OPTION]... FILE\n"), program_name);
 105   putc ('\n', stream);
 106
 107   fputs (_("\
 108 If a long option shows an argument as mandatory, then it is mandatory\n\
 109 for the equivalent short option also.  Similarly for optional arguments.\n"),
 110          stream);
 111   putc ('\n', stream);
 112
 113   fputs (_("\
 114 Operation modes:\n\
 115   -h, --help      display this help and exit\n\
 116   -V, --version   output version information and exit\n\
 117   -y, --yacc      emulate POSIX yacc\n"), stream);
 118   putc ('\n', stream);
 119
 120   fputs (_("\
 121 Parser:\n\
 122   -S, --skeleton=FILE        specify the skeleton to use\n\
 123   -t, --debug                instrument the parser for debugging\n\
 124       --locations            enable locations computation\n\
 125   -p, --name-prefix=PREFIX   prepend PREFIX to the external symbols\n\
 126   -l, --no-lines             don't generate `#line' directives\n\
 127   -n, --no-parser            generate the tables only\n\
 128   -k, --token-table          include a table of token names\n\
 129 "), stream);
 130   putc ('\n', stream);
 131
 132   fputs (_("\
 133 Output:\n\
 134   -d, --defines              also produce a header file\n\
 135   -r, --report=THINGS        also produce details on the automaton\n\
 136   -v, --verbose              same as `--report=state'\n\
 137   -b, --file-prefix=PREFIX   specify a PREFIX for output files\n\
 138   -o, --output=FILE          leave output to FILE\n\
 139   -g, --graph                also produce a VCG description of the automaton\n\
 140 \n\
 141 THINGS is a list of comma separated words that can include:\n\
 142   `state'        describe the states\n\
 143   `itemset'      complete the core item sets with their closure\n\
 144   `lookahead'    explicitly associate lookaheads to items\n\
 145   `solved'       describe shift/reduce conflicts solving\n\
 146   `all'          include all the above information\n\
 147   `none'         disable the report\n\
 148 "), stream);
 149   putc ('\n', stream);
 150
 151   fputs (_("\
 152 Report bugs to <bug-bison@gnu.org>.\n"), stream);
 153 }
 154
 155
 156 /*------------------------------.
 157 | Display the version message.  |
 158 `------------------------------*/
 159
 160 static void
 161 version (FILE *stream)
 162 {
 163   /* Some efforts were made to ease the translators' task, please
 164      continue.  */
 165   fprintf (stream, _("bison (GNU Bison) %s"), VERSION);
 166   putc ('\n', stream);
 167   fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stream);
 168   putc ('\n', stream);
 169
 170   fprintf (stream,
 171            _("Copyright (C) %d Free Software Foundation, Inc.\n"), 2002);
 172
 173   fputs (_("\
 174 This is free software; see the source for copying conditions.  There is NO\n\
 175 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\
 176 "),
 177          stream);
 178 }
 179
 180
 181 /*----------------------.
 182 | Process the options.  |
 183 `----------------------*/
 184
 185 /* Under DOS, there is no difference on the case.  This can be
 186    troublesome when looking for `.tab' etc.  */
 187 #ifdef MSDOS
 188 # define AS_FILE_NAME(File) (strlwr (File), (File))
 189 #else
 190 # define AS_FILE_NAME(File) (File)
 191 #endif
 192
 193 void
 194 getargs (int argc, char *argv[])
 195 {
 196   int c;
 197
 198   struct option *longopts = long_option_table_new ();
 199   while ((c = getopt_long (argc, argv, shortopts, longopts, NULL)) != EOF)
 200     switch (c)
 201       {
 202       case 0:
 203         /* Certain long options cause getopt_long to return 0.  */
 204         break;
 205
 206       case 'y':
 207         yacc_flag = 1;
 208         break;
 209
 210       case 'h':
 211         usage (stdout);
 212         exit (0);
 213
 214       case 'V':
 215         version (stdout);
 216         exit (0);
 217
 218       case 'g':
 219         /* Here, the -g and --graph=FILE options are differentiated.  */
 220         graph_flag = 1;
 221         spec_graph_file = AS_FILE_NAME (optarg);
 222         break;
 223
 224       case 'v':
 225         report_flag |= report_states;
 226         break;
 227
 228       case 'S':
 229         skeleton = AS_FILE_NAME (optarg);
 230         break;
 231
 232       case 'I':
 233         include = AS_FILE_NAME (optarg);
 234         break;
 235
 236       case 'd':
 237         /* Here, the -d and --defines options are differentiated.  */
 238         defines_flag = 1;
 239         if (optarg)
 240           spec_defines_file = AS_FILE_NAME (optarg);
 241         break;
 242
 243       case 'l':
 244         no_lines_flag = 1;
 245         break;
 246
 247       case 'k':
 248         token_table_flag = 1;
 249         break;
 250
 251       case 'n':
 252         no_parser_flag = 1;
 253         break;
 254
 255       case 't':
 256         debug_flag = 1;
 257         break;
 258
 259       case 'o':
 260         spec_outfile = AS_FILE_NAME (optarg);
 261         break;
 262
 263       case 'b':
 264         spec_file_prefix = AS_FILE_NAME (optarg);
 265         break;
 266
 267       case 'p':
 268         spec_name_prefix = optarg;
 269         break;
 270
 271       case 'r':
 272         report_argmatch (optarg);
 273         break;
 274
 275       default:
 276         fprintf (stderr, _("Try `%s --help' for more information.\n"),
 277                  program_name);
 278         exit (1);
 279       }
 280
 281   free (longopts);
 282
 283   if (optind == argc)
 284     {
 285       fprintf (stderr, _("%s: no grammar file given\n"), program_name);
 286       exit (1);
 287     }
 288   if (optind < argc - 1)
 289     fprintf (stderr, _("%s: extra arguments ignored after `%s'\n"),
 290              program_name, argv[optind]);
 291
 292   infile = argv[optind];
 293 }