X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/0fb669f9d648dfdd7a39478a6b658511455ae966..3b452f4ea6f6e69ba90d93cf1bed2ef1437f5b29:/src/lalr.h diff --git a/src/lalr.h b/src/lalr.h index a2c17537..fe148d03 100644 --- a/src/lalr.h +++ b/src/lalr.h @@ -1,6 +1,6 @@ -/* Compute look-ahead criteria for bison, +/* Compute lookahead criteria for bison, - Copyright (C) 1984, 1986, 1989, 2000, 2002, 2004 Free Software + Copyright (C) 1984, 1986, 1989, 2000, 2002, 2004, 2006 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. @@ -32,35 +32,41 @@ /* Import the definition of CORE, TRANSITIONS and REDUCTIONS. */ # include "state.h" -/* Compute how to make the finite state machine deterministic; find - which rules need look-ahead in each state, and which look-ahead - tokens they accept. */ +/** Build the LALR(1) automaton. + + Compute how to make the finite state machine deterministic; find + which rules need lookahead in each state, and which lookahead + tokens they accept. + + Builds: + - #goto_map + - #from_state + - #to_state +*/ void lalr (void); -/* Release the information related to look-ahead tokens. Can be performed - once the action tables are computed. */ -void lalr_free (void); +/** Release the information related to lookahead tokens. + Can be performed once the action tables are computed. */ +void lalr_free (void); -/* lalr() builds these data structures. */ -/* GOTO_MAP, FROM_STATE and TO_STATE -- record each shift transition - which accepts a variable (a nonterminal). +typedef size_t goto_number; +# define GOTO_NUMBER_MAXIMUM ((goto_number) -1) - FROM_STATE[T] -- state number which a transition leads from. - TO_STATE[T] -- state number it leads to. +/** Index into #from_state and #to_state. All the transitions that accept a particular variable are grouped together and GOTO_MAP[I - NTOKENS] is the index in FROM_STATE and TO_STATE of the first of them. */ - -typedef size_t goto_number; -# define GOTO_NUMBER_MAXIMUM ((goto_number) -1) - extern goto_number *goto_map; + +/** State number which a transition leads from. */ extern state_number *from_state; + +/** State number it leads to. */ extern state_number *to_state;