X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/c29240e74b6f81a3bc37a3b0e718479b2e7f16c3..c0ad8bf3c2fb46f001bb24ac98a72b8bfb3a77ce:/src/closure.h diff --git a/src/closure.h b/src/closure.h index 2325e7c4..e47d8d38 100644 --- a/src/closure.h +++ b/src/closure.h @@ -1,5 +1,5 @@ /* Subroutines for bison - Copyright (C) 1984, 1989, 2000 Free Software Foundation, Inc. + Copyright (C) 1984, 1989, 2000, 2001, 2002 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. @@ -18,8 +18,8 @@ Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ - -/* Subroutines of file LR0.c. */ +#ifndef CLOSURE_H_ +# define CLOSURE_H_ /* Allocates the itemset and ruleset vectors, and precomputes useful data so that closure can be called. n is the number of elements to @@ -28,22 +28,28 @@ void new_closure PARAMS ((int n)); -/* Given a vector of item numbers ITEMS, of length N, set up ruleset - and itemset to indicate what rules could be run and which items - could be accepted when those items are the active ones. +/* Given the kernel (aka core) of a state (a vector of item numbers + ITEMS, of length N), set up RULESET and ITEMSET to indicate what + rules could be run and which items could be accepted when those + items are the active ones. - ruleset contains a bit for each rule. closure sets the bits for + RULESET contains a bit for each rule. CLOSURE sets the bits for all rules which could potentially describe the next input to be read. - itemset is a vector of item numbers; itemsetend points to just - beyond the end of the part of it that is significant. closure - places there the indices of all items which represent units of - input that could arrive next. */ + ITEMSET is a vector of item numbers; NITEMSET is its size + (actually, points to just beyond the end of the part of it that is + significant). CLOSURE places there the indices of all items which + represent units of input that could arrive next. */ -void closure PARAMS ((short *items, int n)); +void closure PARAMS ((item_number_t *items, int n)); -/* Frees itemset, ruleset and internal data. */ +/* Frees ITEMSET, RULESET and internal data. */ void free_closure PARAMS ((void)); + +extern item_number_t *itemset; +extern int nritemset; + +#endif /* !CLOSURE_H_ */