Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-11 21:33:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

* src/derives.h: New file.

Browse Source 
* src/main.c, src/derives.h: Use it.
Formatting changes.
* src/Makefile.am (noinst_HEADERS): Adjust.
This commit is contained in:
Akim Demaille
2000-09-20 13:14:11 +00:00
parent db5b3a89b4
commit cc84fd5dc7
12 changed files with 158 additions and 133 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/Makefile.am
View File

@@ -19,7 +19,7 @@ bison_SOURCES = LR0.c allocate.c closure.c complain.c conflicts.c \
EXTRA_bison_SOURCES = vmsgetargs.c
noinst_HEADERS = alloc.h complain.h files.h getargs.h gram.h lex.h \
state.h \
derives.h state.h \
symtab.h system.h types.h
data_DATA = bison.simple bison.hairy

110
src/derives.c
View File

@@ -1,40 +1,59 @@
/* Match rules with nonterminals for bison,
Copyright (C) 1984, 1989 Free Software Foundation, Inc.
Copyright (C) 1984, 1989, 2000 Free Software Foundation, Inc.
This file is part of Bison, the GNU Compiler Compiler.
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 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.
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. */
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. */
/* set_derives finds, for each variable (nonterminal), which rules can derive it.
It sets up the value of derives so that
derives[i - ntokens] points to a vector of rule numbers,
terminated with -1. */
/* set_derives finds, for each variable (nonterminal), which rules can
derive it. It sets up the value of derives so that derives[i -
ntokens] points to a vector of rule numbers, terminated with -1.
*/
#include "system.h"
#include "alloc.h"
#include "types.h"
#include "gram.h"
extern void set_derives PARAMS((void));
extern void free_derives PARAMS((void));
#include "derives.h"
#if DEBUG
static void print_derives PARAMS((void));
extern char **tags;
static void
print_derives (void)
{
register int i;
register short *sp;
printf (_("\n\n\nDERIVES\n\n"));
for (i = ntokens; i < nsyms; i++)
{
printf (_("%s derives"), tags[i]);
for (sp = derives[i]; *sp > 0; sp++)
{
printf (" %d", *sp);
}
putchar ('\n');
}
putchar ('\n');
}
#endif
short **derives;
@@ -49,8 +68,8 @@ set_derives (void)
register shorts **dset;
register shorts *delts;
dset = NEW2(nvars, shorts *) - ntokens;
delts = NEW2(nrules + 1, shorts);
dset = NEW2 (nvars, shorts *) - ntokens;
delts = NEW2 (nrules + 1, shorts);
p = delts;
for (i = nrules; i > 0; i--)
@@ -65,8 +84,8 @@ set_derives (void)
}
}
derives = NEW2(nvars, short *) - ntokens;
q = NEW2(nvars + nrules, short);
derives = NEW2 (nvars, short *) - ntokens;
q = NEW2 (nvars + nrules, short);
for (i = ntokens; i < nsyms; i++)
{
@@ -80,44 +99,17 @@ set_derives (void)
*q++ = -1;
}
#ifdef DEBUG
print_derives();
#if DEBUG
print_derives ();
#endif
FREE(dset + ntokens);
FREE(delts);
FREE (dset + ntokens);
FREE (delts);
}
void
free_derives (void)
{
FREE(derives[ntokens]);
FREE(derives + ntokens);
FREE (derives[ntokens]);
FREE (derives + ntokens);
}
#ifdef DEBUG
static void
print_derives (void)
{
register int i;
register short *sp;
printf(_("\n\n\nDERIVES\n\n"));
for (i = ntokens; i < nsyms; i++)
{
printf(_("%s derives"), tags[i]);
for (sp = derives[i]; *sp > 0; sp++)
{
printf(" %d", *sp);
}
putchar('\n');
}
putchar('\n');
}
#endif

28
src/derives.h Normal file
View File

@@ -0,0 +1,28 @@
/* Match rules with nonterminals for bison,
Copyright (C) 1984, 1989, 2000 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. */
/* set_derives finds, for each variable (nonterminal), which rules can
derive it. It sets up the value of derives so that derives[i -
ntokens] points to a vector of rule numbers, terminated with -1.
*/
void set_derives PARAMS((void));
void free_derives PARAMS((void));

88
src/main.c
View File

@@ -24,8 +24,9 @@
#include "getargs.h"
#include "files.h"
#include "complain.h"
#include "derives.h"
#if 0 /* XXX currently unused. */
#if 0 /* XXX currently unused. */
/* Nonzero means failure has been detected; don't write a parser file. */
static int failure;
#endif
@@ -33,23 +34,21 @@ static int failure;
/* The name this program was run with, for messages. */
char *program_name;
extern char *printable_version PARAMS((int));
extern void berror PARAMS((const char *));
extern char *printable_version PARAMS ((int));
extern void berror PARAMS ((const 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 free_derives PARAMS((void));
extern void set_nullable PARAMS((void));
extern void free_nullable PARAMS((void));
extern void generate_states PARAMS((void));
extern void lalr PARAMS((void));
extern void initialize_conflicts PARAMS((void));
extern void finalize_conflicts PARAMS((void));
extern void verbose PARAMS((void));
extern void terse PARAMS((void));
extern void output PARAMS((void));
extern void openfiles PARAMS ((void));
extern void reader PARAMS ((void));
extern void reduce_grammar PARAMS ((void));
extern void set_nullable PARAMS ((void));
extern void free_nullable PARAMS ((void));
extern void generate_states PARAMS ((void));
extern void lalr PARAMS ((void));
extern void initialize_conflicts PARAMS ((void));
extern void finalize_conflicts PARAMS ((void));
extern void verbose PARAMS ((void));
extern void terse PARAMS ((void));
extern void output PARAMS ((void));
/* VMS complained about using `int'. */
@@ -63,59 +62,58 @@ main (int argc, char *argv[])
textdomain (PACKAGE);
lineno = 0;
getargs(argc, argv);
getargs (argc, argv);
/* Be ready to clean up if we exit.*/
/* Be ready to clean up if we exit. */
atexit (done);
openfiles();
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. */
/* 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 (complain_message_count)
exit (1);
/* find useless nonterminals and productions and reduce the grammar. In
file reduce.c */
reduce_grammar();
reduce_grammar ();
/* record other info about the grammar. In files derives and nullable. */
set_derives();
set_nullable();
set_derives ();
set_nullable ();
/* convert to nondeterministic finite state machine. In file LR0.
See state.h for more info. */
generate_states();
generate_states ();
/* make it deterministic. In file lalr. */
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();
/* 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. */
/* Print information about results, if requested. In file print.
*/
if (verboseflag)
verbose();
verbose ();
else
terse();
terse ();
/* output the tables and the parser to ftable. In file output. */
output();
/* Output the tables and the parser to ftable. In file output. */
output ();
finalize_conflicts();
free_nullable();
free_derives();
finalize_conflicts ();
free_nullable ();
free_derives ();
exit (complain_message_count ? 1 : 0);
}
/* 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. */
@@ -124,7 +122,7 @@ printable_version (int c)
{
static char buf[10];
if (c < ' ' || c >= '\177')
sprintf(buf, "\\%o", c);
sprintf (buf, "\\%o", c);
else
{
buf[0] = c;
@@ -139,5 +137,5 @@ void
berror (const char *s)
{
fprintf (stderr, _("%s: internal error: %s\n"), program_name, s);
abort();
abort ();
}