1996-09-10 13:12:03 +00:00
|
|
|
|
/* Top level entry point of bison,
|
|
|
|
|
Copyright (C) 1984, 1986, 1989, 1992, 1995 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
|
1999-08-14 21:39:07 +00:00
|
|
|
|
the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
|
|
Boston, MA 02111-1307, USA. */
|
1996-09-10 13:12:03 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#include <stdio.h>
|
|
|
|
|
#include "system.h"
|
|
|
|
|
#include "machine.h" /* for MAXSHORT */
|
|
|
|
|
|
|
|
|
|
extern int lineno;
|
|
|
|
|
extern int verboseflag;
|
1999-08-14 21:39:07 +00:00
|
|
|
|
extern char *infile;
|
1996-09-10 13:12:03 +00:00
|
|
|
|
|
|
|
|
|
/* Nonzero means failure has been detected; don't write a parser file. */
|
|
|
|
|
int failure;
|
|
|
|
|
|
|
|
|
|
/* The name this program was run with, for messages. */
|
|
|
|
|
char *program_name;
|
|
|
|
|
|
1999-08-14 21:39:07 +00:00
|
|
|
|
char *printable_version PARAMS((int));
|
|
|
|
|
char *int_to_string PARAMS((int));
|
|
|
|
|
void fatal PARAMS((char *));
|
|
|
|
|
void fatals PARAMS((char *, char *));
|
|
|
|
|
void warn PARAMS((char *));
|
|
|
|
|
void warni PARAMS((char *, int));
|
|
|
|
|
void warns PARAMS((char *, char *));
|
|
|
|
|
void warnss PARAMS((char *, char *, char *));
|
|
|
|
|
void warnsss PARAMS((char *, char *, char *, char *));
|
|
|
|
|
void toomany PARAMS((char *));
|
|
|
|
|
void berror PARAMS((char *));
|
|
|
|
|
|
|
|
|
|
extern void getargs PARAMS((int, char *[]));
|
|
|
|
|
extern void openfiles PARAMS((void));
|
|
|
|
|
extern void reader PARAMS((void));
|
|
|
|
|
extern void reduce_grammar PARAMS((void));
|
|
|
|
|
extern void set_derives PARAMS((void));
|
|
|
|
|
extern void set_nullable PARAMS((void));
|
|
|
|
|
extern void generate_states PARAMS((void));
|
|
|
|
|
extern void lalr PARAMS((void));
|
|
|
|
|
extern void initialize_conflicts PARAMS((void));
|
|
|
|
|
extern void verbose PARAMS((void));
|
|
|
|
|
extern void terse PARAMS((void));
|
|
|
|
|
extern void output PARAMS((void));
|
|
|
|
|
extern void done PARAMS((int));
|
1996-09-10 13:12:03 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* VMS complained about using `int'. */
|
|
|
|
|
|
|
|
|
|
int
|
1999-08-14 21:39:07 +00:00
|
|
|
|
main (int argc, char *argv[])
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
|
|
|
|
program_name = argv[0];
|
1999-08-14 21:39:07 +00:00
|
|
|
|
setlocale (LC_ALL, "");
|
|
|
|
|
bindtextdomain (PACKAGE, LOCALEDIR);
|
|
|
|
|
textdomain (PACKAGE);
|
|
|
|
|
|
1996-09-10 13:12:03 +00:00
|
|
|
|
failure = 0;
|
|
|
|
|
lineno = 0;
|
|
|
|
|
getargs(argc, argv);
|
|
|
|
|
openfiles();
|
|
|
|
|
|
|
|
|
|
/* read the input. Copy some parts of it to fguard, faction, ftable and fattrs.
|
|
|
|
|
In file reader.c.
|
|
|
|
|
The other parts are recorded in the grammar; see gram.h. */
|
|
|
|
|
reader();
|
|
|
|
|
if (failure)
|
|
|
|
|
done(failure);
|
|
|
|
|
|
|
|
|
|
/* find useless nonterminals and productions and reduce the grammar. In
|
|
|
|
|
file reduce.c */
|
|
|
|
|
reduce_grammar();
|
|
|
|
|
|
|
|
|
|
/* record other info about the grammar. In files derives and nullable. */
|
|
|
|
|
set_derives();
|
|
|
|
|
set_nullable();
|
|
|
|
|
|
|
|
|
|
/* convert to nondeterministic finite state machine. In file LR0.
|
|
|
|
|
See state.h for more info. */
|
|
|
|
|
generate_states();
|
|
|
|
|
|
|
|
|
|
/* make it deterministic. In file lalr. */
|
|
|
|
|
lalr();
|
|
|
|
|
|
|
|
|
|
/* Find and record any conflicts: places where one token of lookahead is not
|
|
|
|
|
enough to disambiguate the parsing. In file conflicts.
|
|
|
|
|
Also resolve s/r conflicts based on precedence declarations. */
|
|
|
|
|
initialize_conflicts();
|
|
|
|
|
|
|
|
|
|
/* print information about results, if requested. In file print. */
|
|
|
|
|
if (verboseflag)
|
|
|
|
|
verbose();
|
|
|
|
|
else
|
|
|
|
|
terse();
|
|
|
|
|
|
|
|
|
|
/* output the tables and the parser to ftable. In file output. */
|
|
|
|
|
output();
|
|
|
|
|
done(failure);
|
1999-08-14 21:39:07 +00:00
|
|
|
|
return failure;
|
1996-09-10 13:12:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* functions to report errors which prevent a parser from being generated */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Return a string containing a printable version of C:
|
|
|
|
|
either C itself, or the corresponding \DDD code. */
|
|
|
|
|
|
|
|
|
|
char *
|
1999-08-14 21:39:07 +00:00
|
|
|
|
printable_version (int c)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
|
|
|
|
static char buf[10];
|
|
|
|
|
if (c < ' ' || c >= '\177')
|
|
|
|
|
sprintf(buf, "\\%o", c);
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
buf[0] = c;
|
|
|
|
|
buf[1] = '\0';
|
|
|
|
|
}
|
|
|
|
|
return buf;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Generate a string from the integer I.
|
|
|
|
|
Return a ptr to internal memory containing the string. */
|
|
|
|
|
|
|
|
|
|
char *
|
1999-08-14 21:39:07 +00:00
|
|
|
|
int_to_string (int i)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
|
|
|
|
static char buf[20];
|
|
|
|
|
sprintf(buf, "%d", i);
|
|
|
|
|
return buf;
|
|
|
|
|
}
|
|
|
|
|
|
1999-08-14 21:39:07 +00:00
|
|
|
|
static void
|
|
|
|
|
fatal_banner (void)
|
|
|
|
|
{
|
|
|
|
|
if (infile == 0)
|
|
|
|
|
fprintf(stderr, _("%s: fatal error: "), program_name);
|
|
|
|
|
else
|
|
|
|
|
fprintf(stderr, _("%s:%d: fatal error: "), infile, lineno);
|
|
|
|
|
}
|
|
|
|
|
|
1996-09-10 13:12:03 +00:00
|
|
|
|
/* Print the message S for a fatal error. */
|
|
|
|
|
|
|
|
|
|
void
|
1999-08-14 21:39:07 +00:00
|
|
|
|
fatal (char *s)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
1999-08-14 21:39:07 +00:00
|
|
|
|
fatal_banner ();
|
|
|
|
|
fputs (s, stderr);
|
|
|
|
|
fputc ('\n', stderr);
|
|
|
|
|
done (1);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Print a message for a fatal error. Use FMT to construct the message
|
|
|
|
|
and incorporate string X1. */
|
|
|
|
|
|
|
|
|
|
void
|
1999-08-14 21:39:07 +00:00
|
|
|
|
fatals (char *fmt, char *x1)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
1999-08-14 21:39:07 +00:00
|
|
|
|
fatal_banner ();
|
|
|
|
|
fprintf (stderr, fmt, x1);
|
|
|
|
|
fputc ('\n', stderr);
|
|
|
|
|
done (1);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
1999-08-14 21:39:07 +00:00
|
|
|
|
static void
|
|
|
|
|
warn_banner (void)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
|
|
|
|
if (infile == 0)
|
1999-08-14 21:39:07 +00:00
|
|
|
|
fprintf(stderr, _("%s: "), program_name);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
else
|
1999-08-14 21:39:07 +00:00
|
|
|
|
fprintf(stderr, _("%s:%d: "), infile, lineno);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
failure = 1;
|
|
|
|
|
}
|
|
|
|
|
|
1999-08-14 21:39:07 +00:00
|
|
|
|
/* Print a warning message S. */
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
warn (char *s)
|
|
|
|
|
{
|
|
|
|
|
warn_banner ();
|
|
|
|
|
fputs (s, stderr);
|
|
|
|
|
fputc ('\n', stderr);
|
|
|
|
|
}
|
|
|
|
|
|
1996-09-10 13:12:03 +00:00
|
|
|
|
/* Print a warning message containing the string for the integer X1.
|
|
|
|
|
The message is given by the format FMT. */
|
|
|
|
|
|
|
|
|
|
void
|
1999-08-14 21:39:07 +00:00
|
|
|
|
warni (char *fmt, int x1)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
1999-08-14 21:39:07 +00:00
|
|
|
|
warn_banner ();
|
|
|
|
|
fprintf (stderr, fmt, x1);
|
|
|
|
|
fputc ('\n', stderr);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Print a warning message containing the string X1.
|
|
|
|
|
The message is given by the format FMT. */
|
|
|
|
|
|
|
|
|
|
void
|
1999-08-14 21:39:07 +00:00
|
|
|
|
warns (char *fmt, char *x1)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
1999-08-14 21:39:07 +00:00
|
|
|
|
warn_banner ();
|
|
|
|
|
fprintf (stderr, fmt, x1);
|
|
|
|
|
fputc ('\n', stderr);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Print a warning message containing the two strings X1 and X2.
|
|
|
|
|
The message is given by the format FMT. */
|
|
|
|
|
|
|
|
|
|
void
|
1999-08-14 21:39:07 +00:00
|
|
|
|
warnss (char *fmt, char *x1, char *x2)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
1999-08-14 21:39:07 +00:00
|
|
|
|
warn_banner ();
|
|
|
|
|
fprintf (stderr, fmt, x1, x2);
|
|
|
|
|
fputc ('\n', stderr);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Print a warning message containing the 3 strings X1, X2, X3.
|
|
|
|
|
The message is given by the format FMT. */
|
|
|
|
|
|
|
|
|
|
void
|
1999-08-14 21:39:07 +00:00
|
|
|
|
warnsss (char *fmt, char *x1, char *x2, char *x3)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
1999-08-14 21:39:07 +00:00
|
|
|
|
warn_banner ();
|
|
|
|
|
fprintf (stderr, fmt, x1, x2, x3);
|
|
|
|
|
fputc ('\n', stderr);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Print a message for the fatal occurence of more than MAXSHORT
|
|
|
|
|
instances of whatever is denoted by the string S. */
|
|
|
|
|
|
|
|
|
|
void
|
1999-08-14 21:39:07 +00:00
|
|
|
|
toomany (char *s)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
1999-08-14 21:39:07 +00:00
|
|
|
|
fatal_banner ();
|
|
|
|
|
fprintf (stderr, _("too many %s (max %d)"), s, MAXSHORT);
|
|
|
|
|
fputc ('\n', stderr);
|
|
|
|
|
done (1);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Abort for an internal error denoted by string S. */
|
|
|
|
|
|
|
|
|
|
void
|
1999-08-14 21:39:07 +00:00
|
|
|
|
berror (char *s)
|
1996-09-10 13:12:03 +00:00
|
|
|
|
{
|
1999-08-14 21:39:07 +00:00
|
|
|
|
fprintf(stderr, _("%s: internal error: %s\n"), program_name, s);
|
1996-09-10 13:12:03 +00:00
|
|
|
|
abort();
|
|
|
|
|
}
|