src/getargs.c

/* Parse command line arguments for bison.
   Copyright 1984, 1986, 1989, 1992, 2000, 2001, 2002
   Free Software Foundation, Inc.

   This file is part of Bison, the GNU Compiler Compiler.

   Bison is free software; you can redistribute it and/or modify it
   under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2, or (at your option)
   any later version.

   Bison is distributed in the hope that it will be useful, but
   WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with Bison; see the file COPYING.  If not, write to the Free
   Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
   02111-1307, USA.  */

#include "system.h"
#include "getopt.h"
#include "argmatch.h"
#include "complain.h"
#include "getargs.h"
#include "files.h"

int debug_flag = 0;
int defines_flag = 0;
int locations_flag = 0;
int no_lines_flag = 0;
int no_parser_flag = 0;
int report_flag = 0;
int token_table_flag = 0;
int yacc_flag = 0;	/* for -y */
int graph_flag = 0;
int trace_flag = 0;

const char *skeleton = NULL;
const char *include = NULL;

extern char *program_name;

/*----------------------.
| --report's handling.  |
`----------------------*/

static const char * const report_args[] =
{
  /* In a series of synonyms, present the most meaningful first, so
     that argmatch_valid be more readable.  */
  "none",
  "state", "states",
  "itemset", "itemsets",
  "lookahead", "lookaheads",
  "solved",
  "all",
  0
};

static const int report_types[] =
{
  report_none,
  report_states, report_states,
  report_states | report_itemsets, report_states | report_itemsets,
  report_states | report_lookaheads, report_states | report_lookaheads,
  report_states | report_solved_conflicts,
  report_all
};


static void
report_argmatch (char *args)
{
  ARGMATCH_ASSERT (report_args, report_types);
  args = strtok (args, ",");
  do
    {
      int report = XARGMATCH ("--report", args,
			      report_args, report_types);
      if (report == report_none)
	report_flag = report_none;
      else
	report_flag |= report;
    }
  while ((args = strtok (NULL, ",")));
}

/*---------------------------.
| Display the help message.  |
`---------------------------*/

static void
usage (FILE *stream)
{
  /* Some efforts were made to ease the translators' task, please
     continue.  */
  fputs (_("\
GNU bison generates parsers for LALR(1) grammars.\n"), stream);
  putc ('\n', stream);

  fprintf (stream, _("\
Usage: %s [OPTION]... FILE\n"), program_name);
  putc ('\n', stream);

  fputs (_("\
If a long option shows an argument as mandatory, then it is mandatory\n\
for the equivalent short option also.  Similarly for optional arguments.\n"),
	 stream);
  putc ('\n', stream);

  fputs (_("\
Operation modes:\n\
  -h, --help      display this help and exit\n\
  -V, --version   output version information and exit\n\
  -y, --yacc      emulate POSIX yacc\n"), stream);
  putc ('\n', stream);

  fputs (_("\
Parser:\n\
  -S, --skeleton=FILE        specify the skeleton to use\n\
  -t, --debug                instrument the parser for debugging\n\
      --locations            enable locations computation\n\
  -p, --name-prefix=PREFIX   prepend PREFIX to the external symbols\n\
  -l, --no-lines             don't generate `#line' directives\n\
  -n, --no-parser            generate the tables only\n\
  -k, --token-table          include a table of token names\n\
"), stream);
  putc ('\n', stream);

  fputs (_("\
Output:\n\
  -d, --defines              also produce a header file\n\
  -r, --report=THINGS        also produce details on the automaton\n\
  -v, --verbose              same as `--report=state'\n\
  -b, --file-prefix=PREFIX   specify a PREFIX for output files\n\
  -o, --output=FILE          leave output to FILE\n\
  -g, --graph                also produce a VCG description of the automaton\n\
"), stream);
  putc ('\n', stream);

  fputs (_("\
THINGS is a list of comma separated words that can include:\n\
  `state'        describe the states\n\
  `itemset'      complete the core item sets with their closure\n\
  `lookahead'    explicitly associate lookaheads to items\n\
  `solved'       describe shift/reduce conflicts solving\n\
  `all'          include all the above information\n\
  `none'         disable the report\n\
"), stream);
  putc ('\n', stream);

  fputs (_("\
Report bugs to <bug-bison@gnu.org>.\n"), stream);
}


/*------------------------------.
| Display the version message.  |
`------------------------------*/

static void
version (FILE *stream)
{
  /* Some efforts were made to ease the translators' task, please
     continue.  */
  fprintf (stream, _("bison (GNU Bison) %s"), VERSION);
  putc ('\n', stream);
  fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stream);
  putc ('\n', stream);

  fprintf (stream,
	   _("Copyright (C) %d Free Software Foundation, Inc.\n"), 2002);

  fputs (_("\
This is free software; see the source for copying conditions.  There is NO\n\
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\
"),
	 stream);
}


/*----------------------.
| Process the options.  |
`----------------------*/

/* Shorts options.  */
const char *short_options = "yvegdhr:ltknVo:b:p:S:";

static struct option const long_options[] =
{
  /* Operation modes. */
  { "help",          no_argument,		0,   'h' },
  { "version",       no_argument,		0,   'V' },

  /* Parser. */
  { "name-prefix",   required_argument,	  0,   'p' },
  { "include",       required_argument,   0,   'I' },

  /* Output. */
  { "file-prefix", required_argument,	0,   'b' },
  { "output",	   required_argument,	0,   'o' },
  { "output-file", required_argument,	0,   'o' },
  { "graph",	   optional_argument,	0,   'g' },
  { "report",	   required_argument,   0,   'r' },
  { "verbose",	   no_argument,	        0,   'v' },

  /* Hidden. */
  { "trace",         no_argument,   &trace_flag,     1 },

  /* FIXME: semantic parsers will output an `include' of an
     output file: be sure that the naem included is indeed the name of
     the output file.  */ /* FIXME Should we activate this options ?
     */
  { "output",      required_argument,     0, 'o' },
  { "file-prefix", required_argument,     0, 'b' },
  { "name-prefix", required_argument,     0, 'p' },

  /*
   * Percent and command line declarations.
   */

  /* Output.  */
  { "defines",     optional_argument,   0,   'd' },

  /* Operation modes.  */
  { "fixed-output-files", no_argument,  0,   'y' },
  { "yacc",	          no_argument,  0,   'y' },

  /* Parser.  */
  { "debug",	      no_argument,               0,   't' },
  { "locations",      no_argument, &locations_flag,     1 },
  { "no-lines",       no_argument,               0,   'l' },
  { "no-parser",      no_argument,               0,   'n' },
  { "raw",            no_argument,               0,     0 },
  { "skeleton",       required_argument,         0,   'S' },
  { "token-table",    no_argument,               0,   'k' },

  {0, 0, 0, 0}
};

/* Under DOS, there is no difference on the case.  This can be
   troublesome when looking for `.tab' etc.  */
#ifdef MSDOS
# define AS_FILE_NAME(File) (strlwr (File), (File))
#else
# define AS_FILE_NAME(File) (File)
#endif

void
getargs (int argc, char *argv[])
{
  int c;

  while ((c = getopt_long (argc, argv, short_options, long_options, NULL)) != EOF)
    switch (c)
      {
      case 0:
	/* Certain long options cause getopt_long to return 0.  */
	break;

      case 'y':
	yacc_flag = 1;
	break;

      case 'h':
	usage (stdout);
	exit (0);

      case 'V':
	version (stdout);
	exit (0);

      case 'g':
	/* Here, the -g and --graph=FILE options are differentiated.  */
	graph_flag = 1;
	spec_graph_file = AS_FILE_NAME (optarg);
	break;

      case 'v':
	report_flag |= report_states;
	break;

      case 'S':
	skeleton = AS_FILE_NAME (optarg);
	break;

      case 'I':
	include = AS_FILE_NAME (optarg);
	break;

      case 'd':
	/* Here, the -d and --defines options are differentiated.  */
	defines_flag = 1;
	if (optarg)
	  spec_defines_file = AS_FILE_NAME (optarg);
	break;

      case 'l':
	no_lines_flag = 1;
	break;

      case 'k':
	token_table_flag = 1;
	break;

      case 'n':
	no_parser_flag = 1;
	break;

      case 't':
	debug_flag = 1;
	break;

      case 'o':
	spec_outfile = AS_FILE_NAME (optarg);
	break;

      case 'b':
	spec_file_prefix = AS_FILE_NAME (optarg);
	break;

      case 'p':
	spec_name_prefix = optarg;
	break;

      case 'r':
	report_argmatch (optarg);
	break;

      default:
	fprintf (stderr, _("Try `%s --help' for more information.\n"),
		 program_name);
	exit (1);
      }

  if (optind == argc)
    {
      fprintf (stderr, _("%s: no grammar file given\n"), program_name);
      exit (1);
    }
  if (optind < argc - 1)
    fprintf (stderr, _("%s: extra arguments ignored after `%s'\n"),
	     program_name, argv[optind]);

  infile = argv[optind];
}
Commit	Line	Data
	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 "files.h"
	28
	29	int debug_flag = 0;
	30	int defines_flag = 0;
	31	int locations_flag = 0;
	32	int no_lines_flag = 0;
	33	int no_parser_flag = 0;
	34	int report_flag = 0;
	35	int token_table_flag = 0;
	36	int yacc_flag = 0; /* for -y */
	37	int graph_flag = 0;
	38	int trace_flag = 0;
	39
	40	const char *skeleton = NULL;
	41	const char *include = NULL;
	42
	43	extern char *program_name;
	44
	45	/*----------------------.
	46	\| --report's handling. \|
	47	`----------------------*/
	48
	49	static const char * const report_args[] =
	50	{
	51	/* In a series of synonyms, present the most meaningful first, so
	52	that argmatch_valid be more readable. */
	53	"none",
	54	"state", "states",
	55	"itemset", "itemsets",
	56	"lookahead", "lookaheads",
	57	"solved",
	58	"all",
	59	0
	60	};
	61
	62	static const int report_types[] =
	63	{
	64	report_none,
	65	report_states, report_states,
	66	report_states \| report_itemsets, report_states \| report_itemsets,
	67	report_states \| report_lookaheads, report_states \| report_lookaheads,
	68	report_states \| report_solved_conflicts,
	69	report_all
	70	};
	71
	72
	73	static void
	74	report_argmatch (char *args)
	75	{
	76	ARGMATCH_ASSERT (report_args, report_types);
	77	args = strtok (args, ",");
	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	"), stream);
	141	putc ('\n', stream);
	142
	143	fputs (_("\
	144	THINGS is a list of comma separated words that can include:\n\
	145	`state' describe the states\n\
	146	`itemset' complete the core item sets with their closure\n\
	147	`lookahead' explicitly associate lookaheads to items\n\
	148	`solved' describe shift/reduce conflicts solving\n\
	149	`all' include all the above information\n\
	150	`none' disable the report\n\
	151	"), stream);
	152	putc ('\n', stream);
	153
	154	fputs (_("\
	155	Report bugs to <bug-bison@gnu.org>.\n"), stream);
	156	}
	157
	158
	159	/*------------------------------.
	160	\| Display the version message. \|
	161	`------------------------------*/
	162
	163	static void
	164	version (FILE *stream)
	165	{
	166	/* Some efforts were made to ease the translators' task, please
	167	continue. */
	168	fprintf (stream, _("bison (GNU Bison) %s"), VERSION);
	169	putc ('\n', stream);
	170	fputs (_("Written by Robert Corbett and Richard Stallman.\n"), stream);
	171	putc ('\n', stream);
	172
	173	fprintf (stream,
	174	_("Copyright (C) %d Free Software Foundation, Inc.\n"), 2002);
	175
	176	fputs (_("\
	177	This is free software; see the source for copying conditions. There is NO\n\
	178	warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n\
	179	"),
	180	stream);
	181	}
	182
	183
	184	/*----------------------.
	185	\| Process the options. \|
	186	`----------------------*/
	187
	188	/* Shorts options. */
	189	const char *short_options = "yvegdhr:ltknVo:b:p:S:";
	190
	191	static struct option const long_options[] =
	192	{
	193	/* Operation modes. */
	194	{ "help", no_argument, 0, 'h' },
	195	{ "version", no_argument, 0, 'V' },
	196
	197	/* Parser. */
	198	{ "name-prefix", required_argument, 0, 'p' },
	199	{ "include", required_argument, 0, 'I' },
	200
	201	/* Output. */
	202	{ "file-prefix", required_argument, 0, 'b' },
	203	{ "output", required_argument, 0, 'o' },
	204	{ "output-file", required_argument, 0, 'o' },
	205	{ "graph", optional_argument, 0, 'g' },
	206	{ "report", required_argument, 0, 'r' },
	207	{ "verbose", no_argument, 0, 'v' },
	208
	209	/* Hidden. */
	210	{ "trace", no_argument, &trace_flag, 1 },
	211
	212	/* FIXME: semantic parsers will output an `include' of an
	213	output file: be sure that the naem included is indeed the name of
	214	the output file. / / FIXME Should we activate this options ?
	215	*/
	216	{ "output", required_argument, 0, 'o' },
	217	{ "file-prefix", required_argument, 0, 'b' },
	218	{ "name-prefix", required_argument, 0, 'p' },
	219
	220	/*
	221	* Percent and command line declarations.
	222	*/
	223
	224	/* Output. */
	225	{ "defines", optional_argument, 0, 'd' },
	226
	227	/* Operation modes. */
	228	{ "fixed-output-files", no_argument, 0, 'y' },
	229	{ "yacc", no_argument, 0, 'y' },
	230
	231	/* Parser. */
	232	{ "debug", no_argument, 0, 't' },
	233	{ "locations", no_argument, &locations_flag, 1 },
	234	{ "no-lines", no_argument, 0, 'l' },
	235	{ "no-parser", no_argument, 0, 'n' },
	236	{ "raw", no_argument, 0, 0 },
	237	{ "skeleton", required_argument, 0, 'S' },
	238	{ "token-table", no_argument, 0, 'k' },
	239
	240	{0, 0, 0, 0}
	241	};
	242
	243	/* Under DOS, there is no difference on the case. This can be
	244	troublesome when looking for `.tab' etc. */
	245	#ifdef MSDOS
	246	# define AS_FILE_NAME(File) (strlwr (File), (File))
	247	#else
	248	# define AS_FILE_NAME(File) (File)
	249	#endif
	250
	251	void
	252	getargs (int argc, char *argv[])
	253	{
	254	int c;
	255
	256	while ((c = getopt_long (argc, argv, short_options, long_options, NULL)) != EOF)
	257	switch (c)
	258	{
	259	case 0:
	260	/* Certain long options cause getopt_long to return 0. */
	261	break;
	262
	263	case 'y':
	264	yacc_flag = 1;
	265	break;
	266
	267	case 'h':
	268	usage (stdout);
	269	exit (0);
	270
	271	case 'V':
	272	version (stdout);
	273	exit (0);
	274
	275	case 'g':
	276	/* Here, the -g and --graph=FILE options are differentiated. */
	277	graph_flag = 1;
	278	spec_graph_file = AS_FILE_NAME (optarg);
	279	break;
	280
	281	case 'v':
	282	report_flag \|= report_states;
	283	break;
	284
	285	case 'S':
	286	skeleton = AS_FILE_NAME (optarg);
	287	break;
	288
	289	case 'I':
	290	include = AS_FILE_NAME (optarg);
	291	break;
	292
	293	case 'd':
	294	/* Here, the -d and --defines options are differentiated. */
	295	defines_flag = 1;
	296	if (optarg)
	297	spec_defines_file = AS_FILE_NAME (optarg);
	298	break;
	299
	300	case 'l':
	301	no_lines_flag = 1;
	302	break;
	303
	304	case 'k':
	305	token_table_flag = 1;
	306	break;
	307
	308	case 'n':
	309	no_parser_flag = 1;
	310	break;
	311
	312	case 't':
	313	debug_flag = 1;
	314	break;
	315
	316	case 'o':
	317	spec_outfile = AS_FILE_NAME (optarg);
	318	break;
	319
	320	case 'b':
	321	spec_file_prefix = AS_FILE_NAME (optarg);
	322	break;
	323
	324	case 'p':
	325	spec_name_prefix = optarg;
	326	break;
	327
	328	case 'r':
	329	report_argmatch (optarg);
	330	break;
	331
	332	default:
	333	fprintf (stderr, _("Try `%s --help' for more information.\n"),
	334	program_name);
	335	exit (1);
	336	}
	337
	338	if (optind == argc)
	339	{
	340	fprintf (stderr, _("%s: no grammar file given\n"), program_name);
	341	exit (1);
	342	}
	343	if (optind < argc - 1)
	344	fprintf (stderr, _("%s: extra arguments ignored after `%s'\n"),
	345	program_name, argv[optind]);
	346
	347	infile = argv[optind];
	348	}