maint: more syntax-checks

[bison.git] / src / ielr.h

diff --git a/src/ielr.h b/src/ielr.h
index 27b3a4458ca086179eeb5b5dcddae1a360f86259..3d78e2686381d8e48250120f174d069c8a1de795 100644 (file)
--- a/src/ielr.h
+++ b/src/ielr.h
@@ -1,6 +1,6 @@
 /* IELR main implementation.
 
 /* IELR main implementation.
 

-   Copyright (C) 2009 Free Software Foundation, Inc.
+   Copyright (C) 2009-2012 Free Software Foundation, Inc.

 
    This file is part of Bison, the GNU Compiler Compiler.
 
 
    This file is part of Bison, the GNU Compiler Compiler.
 


@@ -20,22 +20,22 @@
 #ifndef IELR_H_
 # define IELR_H_
 
 #ifndef IELR_H_
 # define IELR_H_
 

-#include <bitset.h>
+# include <bitset.h>

 
 

-#include "state.h"
+# include "state.h"

 
 /**
  * \pre
 
 /**
  * \pre

- *   - \c ::states is of size \c ::nstates and defines an LALR(1) parser for
- *     the users's grammar.
+ *   - \c ::states is of size \c ::nstates and defines an LR(0) parser
+ *     for the users's grammar.

  *   - \c ::ntokens is the number of tokens in the grammar.
  * \post
  *   - \c ::states is of size \c ::nstates (which might be greater than
  *     <tt>::nstates \@pre</tt>) and defines the type of parser specified by
  *     the value of the \c \%define variable \c lr.type.  Its value can be:
  *   - \c ::ntokens is the number of tokens in the grammar.
  * \post
  *   - \c ::states is of size \c ::nstates (which might be greater than
  *     <tt>::nstates \@pre</tt>) and defines the type of parser specified by
  *     the value of the \c \%define variable \c lr.type.  Its value can be:

- *     - \c "LALR".
- *     - \c "IELR".
- *     - \c "canonical LR".
+ *     - \c "lalr".
+ *     - \c "ielr".
+ *     - \c "canonical-lr".

  */
 void ielr (void);
 
  */
 void ielr (void);