X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/90b4416b5b154710407d10d6ed995c83a889a9df..e91ff6ce3d2653b41265591dafd4bdb32ae114c2:/src/lalr.h?ds=sidebyside diff --git a/src/lalr.h b/src/lalr.h index c3d719fd..60931052 100644 --- a/src/lalr.h +++ b/src/lalr.h @@ -1,5 +1,5 @@ /* Compute look-ahead criteria for bison, - Copyright 1984, 1986, 1989, 2000 Free Software Foundation, Inc. + Copyright (C) 1984, 1986, 1989, 2000, 2002 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. @@ -21,10 +21,14 @@ #ifndef LALR_H_ # define LALR_H_ +#include "bitset.h" +#include "bitsetv.h" /* Import the definition of CORE, SHIFTS and REDUCTIONS. */ # include "state.h" +/* Import the definition of RULE_T. */ +# include "gram.h" /* Compute how to make the finite state machine deterministic; find which rules need lookahead in each state, and which lookahead @@ -49,53 +53,25 @@ extern short *goto_map; extern short *from_state; extern short *to_state; -/* CONSISTENT[S] is nonzero if no lookahead is needed to decide what - to do in state S. */ +/* LARULE is a vector which records the rules that need lookahead in + various states. The elements of LARULE that apply to state S are + those from LOOKAHEADS[S] through LOOKAHEADS[S+1]-1. -extern char *consistent; - - -/* LARULENO is a vector which records the rules that need lookahead in - various states. The elements of LARULENO that apply to state S are - those from LOOKAHEADS[S] through LOOKAHEADS[S+1]-1. Each element - of LARULENO is a rule number. - - If LR is the length of LAruleno, then a number from 0 to LR-1 can + If LR is the length of LArule, then a number from 0 to LR-1 can specify both a rule and a state where the rule might be applied. */ -extern short *LAruleno; +extern rule_t **LArule; /* LA is a lr by ntokens matrix of bits. LA[l, i] is 1 if the rule LAruleno[l] is applicable in the appropriate state when the next token is symbol i. If LA[l, i] and LA[l, j] are both 1 for i != j, it is a conflict. */ -extern unsigned *LA; - - -/* A structure decorating a state, with additional information. */ -typedef struct state_s -{ - /* A state. */ - core *state; - - /* Its accessing symbol. */ - short accessing_symbol; - - shifts *shift_table; - reductions *reduction_table; -} state_t; - -/* All the decorated states, indexed by the state number. Warning: - there is a state_TABLE in LR0.c, but it is different and static. - */ -extern state_t *state_table; - -extern int tokensetsize; -extern short *lookaheads; - +extern bitsetv LA; +/* All the states, indexed by the state number. */ +extern state_t **states; #endif /* !LALR_H_ */