bundles/menhirLib/menhir-20120123/src/slr.mli

   1 (**************************************************************************)
   2 (*                                                                        *)
   3 (*  Menhir                                                                *)
   4 (*                                                                        *)
   5 (*  François Pottier, INRIA Rocquencourt                                  *)
   6 (*  Yann Régis-Gianas, PPS, Université Paris Diderot                      *)
   7 (*                                                                        *)
   8 (*  Copyright 2005-2008 Institut National de Recherche en Informatique    *)
   9 (*  et en Automatique. All rights reserved. This file is distributed      *)
  10 (*  under the terms of the Q Public License version 1.0, with the change  *)
  11 (*  described in file LICENSE.                                            *)
  12 (*                                                                        *)
  13 (**************************************************************************)
  14
  15 (* This module extends the LR(0) automaton with lookahead information in order
  16    to construct an SLR(1) automaton. The lookahead information is obtained by
  17    considering the FOLLOW sets. *)
  18
  19 (* This construction is not used by Menhir, but can be used to check whether
  20    the grammar is in the class SLR(1). This check is performed when the log
  21    level [lg] is at least 1. *)
  22