X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/ccaf65bc6331dfb0684876a7475c6474b99125ea..c70fdfcd207a394121c7dac271bbd04ce2a91c98:/src/lalr.h diff --git a/src/lalr.h b/src/lalr.h index 3bece77c..a2c17537 100644 --- a/src/lalr.h +++ b/src/lalr.h @@ -1,5 +1,7 @@ /* Compute look-ahead criteria for bison, - Copyright (C) 1984, 1986, 1989, 2000, 2002 Free Software Foundation, Inc. + + Copyright (C) 1984, 1986, 1989, 2000, 2002, 2004 Free Software + Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. @@ -15,26 +17,31 @@ 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. */ + the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, + Boston, MA 02110-1301, USA. */ #ifndef LALR_H_ # define LALR_H_ -#include "bitset.h" -#include "bitsetv.h" - -/* Import the definition of CORE, TRANSITIONS and REDUCTIONS. */ -# include "state.h" +# include +# include /* Import the definition of RULE_T. */ # include "gram.h" +/* Import the definition of CORE, TRANSITIONS and REDUCTIONS. */ +# include "state.h" + /* Compute how to make the finite state machine deterministic; find - which rules need lookahead in each state, and which lookahead + which rules need look-ahead in each state, and which look-ahead tokens they accept. */ -void lalr PARAMS ((void)); +void lalr (void); + +/* Release the information related to look-ahead tokens. Can be performed + once the action tables are computed. */ + +void lalr_free (void); /* lalr() builds these data structures. */ @@ -49,26 +56,12 @@ void lalr PARAMS ((void)); together and GOTO_MAP[I - NTOKENS] is the index in FROM_STATE and TO_STATE of the first of them. */ -extern short *goto_map; -extern state_number_t *from_state; -extern state_number_t *to_state; - -/* 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. - - 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 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. */ +typedef size_t goto_number; +# define GOTO_NUMBER_MAXIMUM ((goto_number) -1) -extern bitsetv LA; +extern goto_number *goto_map; +extern state_number *from_state; +extern state_number *to_state; #endif /* !LALR_H_ */