X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/015acc48342cb75448f918f72463608aa4cb6eba..f87685c3245a30154897374780d5d0471c7229c0:/src/main.c diff --git a/src/main.c b/src/main.c index 8ca5a672..f53228e6 100644 --- a/src/main.c +++ b/src/main.c @@ -1,5 +1,5 @@ /* Top level entry point of bison, - Copyright (C) 1984, 1986, 1989, 1992, 1995, 2000 + Copyright 1984, 1986, 1989, 1992, 1995, 2000, 2001 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. @@ -29,30 +29,18 @@ #include "reader.h" #include "lalr.h" #include "reduce.h" - -#if 0 /* XXX currently unused. */ -/* Nonzero means failure has been detected; don't write a parser file. */ -static int failure; -#endif +#include "nullable.h" +#include "print.h" +#include "LR0.h" +#include "conflicts.h" +#include "print_graph.h" +#include "muscle_tab.h" +#include "symtab.h" +#include "lex.h" /* The name this program was run with, for messages. */ char *program_name; -extern void berror PARAMS((const char *)); - -extern char *printable_version PARAMS ((int)); - -extern void set_nullable PARAMS ((void)); -extern void free_nullable PARAMS ((void)); -extern void generate_states PARAMS ((void)); -extern void initialize_conflicts PARAMS ((void)); -extern void finalize_conflicts PARAMS ((void)); -extern void verbose PARAMS ((void)); -extern void terse PARAMS ((void)); - - -/* VMS complained about using `int'. */ - int main (int argc, char *argv[]) { @@ -64,9 +52,7 @@ main (int argc, char *argv[]) lineno = 0; getargs (argc, argv); - /* Be ready to clean up if we exit. */ - atexit (done); - + muscle_init (); open_files (); /* Read the input. Copy some parts of it to FGUARD, FACTION, FTABLE @@ -76,15 +62,15 @@ main (int argc, char *argv[]) if (complain_message_count) exit (1); - /* find useless nonterminals and productions and reduce the grammar. In - file reduce.c */ + /* Find useless nonterminals and productions and reduce the grammar. */ reduce_grammar (); - /* record other info about the grammar. In files derives and nullable. */ + /* Record other info about the grammar. In files derives and + nullable. */ set_derives (); set_nullable (); - /* convert to nondeterministic finite state machine. In file LR0. + /* Convert to nondeterministic finite state machine. In file LR0. See state.h for more info. */ generate_states (); @@ -95,47 +81,48 @@ main (int argc, char *argv[]) lookahead is not enough to disambiguate the parsing. In file conflicts. Also resolve s/r conflicts based on precedence declarations. */ - initialize_conflicts (); + solve_conflicts (); + conflicts_print (); + + /* Output file names. */ + compute_output_file_names (); + + /* Stop if there were errors, to avoid trashing previous output + files. */ + if (complain_message_count) + exit (1); + + /* Output the detailed report on the grammar. */ + if (verbose_flag) + print_results (); - /* Print information about results, if requested. In file print. - */ - if (verboseflag) - verbose (); - else - terse (); + /* Output the VCG graph. */ + if (graph_flag) + print_graph (); /* Output the tables and the parser to ftable. In file output. */ output (); - finalize_conflicts (); + /* Close the input files. */ + close_files (); + + /* Free the symbol table data structure. */ + free_symtab (); + + lex_free (); + + reduce_free (); + free_conflicts (); free_nullable (); free_derives (); - exit (complain_message_count ? 1 : 0); -} - -/* Return a string containing a printable version of C: - either C itself, or the corresponding \DDD code. */ + output_files (); -char * -printable_version (int c) -{ - static char buf[10]; - if (c < ' ' || c >= '\177') - sprintf (buf, "\\%o", c); - else - { - buf[0] = c; - buf[1] = '\0'; - } - return buf; -} - -/* Abort for an internal error denoted by string S. */ + /* If using alloca.c, flush the alloca'ed memory for the benefit of + people running Bison as a library in IDEs. */ +#if C_ALLOCA + alloca (0); +#endif -void -berror (const char *s) -{ - fprintf (stderr, _("%s: internal error: %s\n"), program_name, s); - abort (); + return complain_message_count ? EXIT_FAILURE : EXIT_SUCCESS; }