Update.

[bison.git] / src / state.h

diff --git a/src/state.h b/src/state.h
index 78a739a8b3620e8f334c76fd4e7d025e31be0b72..f63cc4f8f52d38616472f3ee6e9780fc5ba31790 100644 (file)
--- a/src/state.h
+++ b/src/state.h
@@ -82,7 +82,7 @@
 #ifndef STATE_H_
 # define STATE_H_
 
 #ifndef STATE_H_
 # define STATE_H_
 

-# include "bitsetv.h"
+# include "bitset.h"

 
 
 /*-------------------.
 
 
 /*-------------------.


@@ -95,6 +95,9 @@ typedef short state_number_t;
 /* Be ready to map a state_number_t to an int.  */
 # define state_number_as_int(Tok) ((int) (Tok))
 
 /* Be ready to map a state_number_t to an int.  */
 # define state_number_as_int(Tok) ((int) (Tok))
 

+
+typedef struct state_s state_t;
+

 /*--------------.
 | Transitions.  |
 `--------------*/
 /*--------------.
 | Transitions.  |
 `--------------*/


@@ -102,7 +105,7 @@ typedef short state_number_t;
 typedef struct transtion_s
 {
   short num;
 typedef struct transtion_s
 {
   short num;

-  state_number_t states[1];
+  state_t *states[1];

 } transitions_t;
 
 
 } transitions_t;
 
 


@@ -111,7 +114,7 @@ typedef struct transtion_s
    token), or non terminals in case of gotos.  */
 
 #define TRANSITION_SYMBOL(Transitions, Num) \
    token), or non terminals in case of gotos.  */
 
 #define TRANSITION_SYMBOL(Transitions, Num) \

-  (states[Transitions->states[Num]]->accessing_symbol)
+  (Transitions->states[Num]->accessing_symbol)

 
 /* Is the TRANSITIONS->states[Num] a shift? (as opposed to gotos).  */
 
 
 /* Is the TRANSITIONS->states[Num] a shift? (as opposed to gotos).  */
 


@@ -132,10 +135,21 @@ typedef struct transtion_s
    disabled.  */
 
 #define TRANSITION_DISABLE(Transitions, Num) \
    disabled.  */
 
 #define TRANSITION_DISABLE(Transitions, Num) \

-  (Transitions->states[Num] = 0)
+  (Transitions->states[Num] = NULL)

 
 #define TRANSITION_IS_DISABLED(Transitions, Num) \
 
 #define TRANSITION_IS_DISABLED(Transitions, Num) \

-  (Transitions->states[Num] == 0)
+  (Transitions->states[Num] == NULL)
+
+
+/* Iterate over each transition over a token (shifts).  */
+#define FOR_EACH_SHIFT(Transitions, Iter)                      \
+  for (Iter = 0;                                               \
+       Iter < Transitions->num                                 \
+        && (TRANSITION_IS_DISABLED (Transitions, Iter)         \
+            || TRANSITION_IS_SHIFT (Transitions, Iter));       \
+       ++Iter)                                                 \
+    if (!TRANSITION_IS_DISABLED (Transitions, Iter))
+

 
 /* Return the state such these TRANSITIONS contain a shift/goto to it on
    SYMBOL.  Aborts if none found.  */
 
 /* Return the state such these TRANSITIONS contain a shift/goto to it on
    SYMBOL.  Aborts if none found.  */


@@ -151,10 +165,10 @@ struct state_s *transitions_to PARAMS ((transitions_t *state,
 typedef struct errs_s
 {
   short num;
 typedef struct errs_s
 {
   short num;

-  symbol_number_t symbols[1];
+  symbol_t *symbols[1];

 } errs_t;
 
 } errs_t;
 

-errs_t *errs_new PARAMS ((int num, symbol_number_t *tokens));
+errs_t *errs_new PARAMS ((int num, symbol_t **tokens));

 
 
 /*-------------.
 
 
 /*-------------.


@@ -164,16 +178,17 @@ errs_t *errs_new PARAMS ((int num, symbol_number_t *tokens));
 typedef struct reductions_s
 {
   short num;
 typedef struct reductions_s
 {
   short num;

-  rule_number_t rules[1];
+  bitset *lookaheads;
+  rule_t *rules[1];

 } reductions_t;
 
 
 
 } reductions_t;
 
 
 

-/*----------.
-| State_t.  |
-`----------*/
+/*---------.
+| States.  |
+`---------*/

 
 

-typedef struct state_s
+struct state_s

 {
   state_number_t number;
   symbol_number_t accessing_symbol;
 {
   state_number_t number;
   symbol_number_t accessing_symbol;


@@ -184,17 +199,6 @@ typedef struct state_s
   /* Nonzero if no lookahead is needed to decide what to do in state S.  */
   char consistent;
 
   /* Nonzero if no lookahead is needed to decide what to do in state S.  */
   char consistent;
 

-  /* Used in LALR, not LR(0).
-
-     When a state is not consistent (there is an S/R or R/R conflict),
-     lookaheads are needed to enable the reductions.  NLOOKAHEADS is
-     the number of lookahead guarded reductions of the
-     LOOKAHEADS_RULE.  For each rule LOOKAHEADS_RULE[R], LOOKAHEADS[R]
-     is the bitset of the lookaheads enabling this reduction.  */
-  int nlookaheads;
-  bitsetv lookaheads;
-  rule_t **lookaheads_rule;
-

   /* If some conflicts were solved thanks to precedence/associativity,
      a human readable description of the resolution.  */
   const char *solved_conflicts;
   /* If some conflicts were solved thanks to precedence/associativity,
      a human readable description of the resolution.  */
   const char *solved_conflicts;


@@ -203,7 +207,7 @@ typedef struct state_s
      */
   unsigned short nitems;
   item_number_t items[1];
      */
   unsigned short nitems;
   item_number_t items[1];

-} state_t;
+};

 
 extern state_number_t nstates;
 extern state_t *final_state;
 
 extern state_number_t nstates;
 extern state_t *final_state;


@@ -214,15 +218,17 @@ state_t *state_new PARAMS ((symbol_number_t accessing_symbol,
 
 /* Set the transitions of STATE.  */
 void state_transitions_set PARAMS ((state_t *state,
 
 /* Set the transitions of STATE.  */
 void state_transitions_set PARAMS ((state_t *state,

-                                   int num, state_number_t *transitions));
+                                   int num, state_t **transitions));

 
 /* Set the reductions of STATE.  */
 void state_reductions_set PARAMS ((state_t *state,
 
 /* Set the reductions of STATE.  */
 void state_reductions_set PARAMS ((state_t *state,

-                                  int num, rule_number_t *reductions));
+                                  int num, rule_t **reductions));
+
+int state_reduction_find PARAMS ((state_t *state, rule_t *rule));

 
 /* Set the errs of STATE.  */
 void state_errs_set PARAMS ((state_t *state,
 
 /* Set the errs of STATE.  */
 void state_errs_set PARAMS ((state_t *state,

-                            int num, symbol_number_t *errs));
+                            int num, symbol_t **errs));

 
 /* Print on OUT all the lookaheads such that this STATE wants to
    reduce this RULE.  */
 
 /* Print on OUT all the lookaheads such that this STATE wants to
    reduce this RULE.  */