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