X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/9839bbe557af2c1c3a8160a157d713fb2fc9145a..80dac38c5eb3b95412a6c99c9dbe976ac963c01b:/src/state.h diff --git a/src/state.h b/src/state.h index 3bf9022f..8cdf4040 100644 --- a/src/state.h +++ b/src/state.h @@ -1,5 +1,5 @@ /* Type definitions for nondeterministic finite state machine for bison, - Copyright 1984, 1989, 2000 Free Software Foundation, Inc. + Copyright 1984, 1989, 2000, 2001 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. @@ -89,47 +89,25 @@ # define STATE_H_ -/*-------. -| Core. | -`-------*/ - -typedef struct core -{ - struct core *next; - struct core *link; - short number; - short accessing_symbol; - short nitems; - short items[1]; -} core; - -#define CORE_ALLOC(Nitems) \ - (core *) xcalloc ((unsigned) (sizeof (core) \ - + (Nitems - 1) * sizeof (short)), 1) - /*---------. | Shifts. | `---------*/ typedef struct shifts { - struct shifts *next; - short number; short nshifts; short shifts[1]; } shifts; +shifts *shifts_new PARAMS ((int n)); -#define SHIFTS_ALLOC(Nshifts) \ - (shifts *) xcalloc ((unsigned) (sizeof (shifts) \ - + (Nshifts - 1) * sizeof (short)), 1) /* What is the symbol which is shifted by SHIFTS->shifts[Shift]? Can be a token (amongst which the error token), or non terminals in case of gotos. */ #define SHIFT_SYMBOL(Shifts, Shift) \ - (state_table[Shifts->shifts[Shift]].accessing_symbol) + (state_table[Shifts->shifts[Shift]]->accessing_symbol) /* Is the SHIFTS->shifts[Shift] a real shift? (as opposed to gotos.) */ @@ -166,9 +144,8 @@ typedef struct errs short errs[1]; } errs; -#define ERRS_ALLOC(Nerrs) \ - (errs *) xcalloc ((unsigned) (sizeof (errs) \ - + (Nerrs - 1) * sizeof (short)), 1) +errs *errs_new PARAMS ((int n)); +errs *errs_dup PARAMS ((errs *src)); /*-------------. @@ -177,14 +154,43 @@ typedef struct errs typedef struct reductions { - struct reductions *next; - short number; short nreds; short rules[1]; } reductions; -#define REDUCTIONS_ALLOC(Nreductions) \ - (reductions *) xcalloc ((unsigned) (sizeof (reductions) \ - + (Nreductions - 1) * sizeof (short)), 1) +reductions *reductions_new PARAMS ((int n)); + + +/*----------. +| State_t. | +`----------*/ + +typedef struct state_s +{ + struct state_s *next; + struct state_s *link; + + short number; + short accessing_symbol; + shifts *shifts; + reductions *reductions; + errs *errs; + + /* Nonzero if no lookahead is needed to decide what to do in state S. */ + char consistent; + + /* Used in LALR, not LR(0). */ + /* Pseudo pointer into LA. */ + short lookaheadsp; + int nlookaheads; + + /* Its items. */ + short nitems; + short items[1]; +} state_t; + +#define STATE_ALLOC(Nitems) \ + (state_t *) xcalloc ((unsigned) (sizeof (state_t) \ + + (Nitems - 1) * sizeof (short)), 1) #endif /* !STATE_H_ */