projects / bison.git / blame
| Commit | Line | Data |
|---|---|---|
| 720d742f | 1 | /* Compute look-ahead criteria for bison, |
| b0299a2e | 2 | Copyright (C) 1984, 1986, 1989, 2000, 2002 Free Software Foundation, Inc. |
| 720d742f AD |
3 | |
| 4 | This file is part of Bison, the GNU Compiler Compiler. | |
| 5 | ||
| 6 | Bison is free software; you can redistribute it and/or modify | |
| 7 | it under the terms of the GNU General Public License as published by | |
| 8 | the Free Software Foundation; either version 2, or (at your option) | |
| 9 | any later version. | |
| 10 | ||
| 11 | Bison is distributed in the hope that it will be useful, | |
| 12 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 14 | GNU General Public License for more details. | |
| 15 | ||
| 16 | You should have received a copy of the GNU General Public License | |
| 17 | along with Bison; see the file COPYING. If not, write to | |
| 18 | the Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
| 19 | Boston, MA 02111-1307, USA. */ | |
| 20 | ||
| 21 | #ifndef LALR_H_ | |
| 22 | # define LALR_H_ | |
| 23 | ||
| 3325ddc4 AD |
24 | # include "bitset.h" |
| 25 | # include "bitsetv.h" | |
| a70083a3 | 26 | |
| ccaf65bc | 27 | /* Import the definition of CORE, TRANSITIONS and REDUCTIONS. */ |
| a70083a3 AD |
28 | # include "state.h" |
| 29 | ||
| b0299a2e AD |
30 | /* Import the definition of RULE_T. */ |
| 31 | # include "gram.h" | |
| a70083a3 | 32 | |
| 720d742f AD |
33 | /* Compute how to make the finite state machine deterministic; find |
| 34 | which rules need lookahead in each state, and which lookahead | |
| 35 | tokens they accept. */ | |
| 36 | ||
| 37 | void lalr PARAMS ((void)); | |
| 38 | ||
| 3325ddc4 AD |
39 | /* Release the information related to lookaheads. Can be performed |
| 40 | once the action tables are computed. */ | |
| 41 | ||
| 42 | void lalr_free PARAMS ((void)); | |
| 43 | ||
| 720d742f AD |
44 | |
| 45 | /* lalr() builds these data structures. */ | |
| 46 | ||
| 43591cec | 47 | /* GOTO_MAP, FROM_STATE and TO_STATE -- record each shift transition |
| 720d742f AD |
48 | which accepts a variable (a nonterminal). |
| 49 | ||
| 43591cec AD |
50 | FROM_STATE[T] -- state number which a transition leads from. |
| 51 | TO_STATE[T] -- state number it leads to. | |
| 52 | ||
| 53 | All the transitions that accept a particular variable are grouped | |
| 54 | together and GOTO_MAP[I - NTOKENS] is the index in FROM_STATE and | |
| 55 | TO_STATE of the first of them. */ | |
| 720d742f | 56 | |
| e68e0410 | 57 | typedef short goto_number_t; |
| 1c303b00 | 58 | # define GOTO_NUMBER_MAX ((goto_number_t) SHRT_MAX) |
| e68e0410 AD |
59 | |
| 60 | extern goto_number_t *goto_map; | |
| d57650a5 AD |
61 | extern state_number_t *from_state; |
| 62 | extern state_number_t *to_state; | |
| 720d742f | 63 | |
| 720d742f | 64 | |
| 720d742f | 65 | #endif /* !LALR_H_ */ |