also regenerate the MC flex parsers with a recent flexml

[simgrid.git] / src / xbt / automaton / parserPromela.tab.hacc

diff --git a/src/xbt/automaton/parserPromela.tab.hacc b/src/xbt/automaton/parserPromela.tab.hacc
index 27ae7bf..f2e24d9 100644 (file)
--- a/src/xbt/automaton/parserPromela.tab.hacc
+++ b/src/xbt/automaton/parserPromela.tab.hacc
@@ -1,19 +1,19 @@
-/* A Bison parser, made by GNU Bison 2.5.  */
+/* A Bison parser, made by GNU Bison 3.0.4.  */
 
 /* Bison interface for Yacc-like parsers in C
-   
-      Copyright (C) 1984, 1989-1990, 2000-2011 Free Software Foundation, Inc.
-   
+
+   Copyright (C) 1984, 1989-1990, 2000-2015 Free Software Foundation, Inc.
+
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.
-   
+
    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.
-   
+
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
@@ -26,64 +26,71 @@
    special exception, which will cause the skeleton and the resulting
    Bison output files to be licensed under the GNU General Public
    License without this special exception.
-   
+
    This special exception was added by the Free Software Foundation in
    version 2.2 of Bison.  */
 
+#ifndef YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED
+# define YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED
+/* Debug traces.  */
+#ifndef YYDEBUG
+# define YYDEBUG 0
+#endif
+#if YYDEBUG
+extern int xbt_automaton_parser_debug;
+#endif
 
-/* Tokens.  */
+/* Token type.  */
 #ifndef YYTOKENTYPE
 # define YYTOKENTYPE
-   /* Put the tokens into the symbol table, so that GDB and other debuggers
-      know about them.  */
-   enum yytokentype {
-     NEVER = 258,
-     IF = 259,
-     FI = 260,
-     IMPLIES = 261,
-     GOTO = 262,
-     AND = 263,
-     OR = 264,
-     NOT = 265,
-     LEFT_PAR = 266,
-     RIGHT_PAR = 267,
-     CASE = 268,
-     COLON = 269,
-     SEMI_COLON = 270,
-     CASE_TRUE = 271,
-     LEFT_BRACE = 272,
-     RIGHT_BRACE = 273,
-     LITT_ENT = 274,
-     LITT_CHAINE = 275,
-     LITT_REEL = 276,
-     ID = 277
-   };
+  enum yytokentype
+  {
+    NEVER = 258,
+    IF = 259,
+    FI = 260,
+    IMPLIES = 261,
+    GOTO = 262,
+    AND = 263,
+    OR = 264,
+    NOT = 265,
+    LEFT_PAR = 266,
+    RIGHT_PAR = 267,
+    CASE = 268,
+    COLON = 269,
+    SEMI_COLON = 270,
+    CASE_TRUE = 271,
+    LEFT_BRACE = 272,
+    RIGHT_BRACE = 273,
+    LITT_ENT = 274,
+    LITT_CHAINE = 275,
+    LITT_REEL = 276,
+    ID = 277
+  };
 #endif
 
-
-
+/* Value type.  */
 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
-typedef union YYSTYPE
-{
 
-/* Line 2068 of yacc.c  */
-#line 16 "parserPromela.yacc"
+union YYSTYPE
+{
+#line 20 "parserPromela.yacc" /* yacc.c:1909  */
 
   double real;
   int integer;
   char* string;
   xbt_automaton_exp_label_t label;
 
+#line 84 "parserPromela.tab.hacc" /* yacc.c:1909  */
+};
 
-
-/* Line 2068 of yacc.c  */
-#line 81 "parserPromela.tab.hacc"
-} YYSTYPE;
+typedef union YYSTYPE YYSTYPE;
 # define YYSTYPE_IS_TRIVIAL 1
-# define yystype YYSTYPE /* obsolescent; will be withdrawn */
 # define YYSTYPE_IS_DECLARED 1
 #endif
 
+
 extern YYSTYPE xbt_automaton_parser_lval;
 
+int xbt_automaton_parser_parse (void);
 
+#endif /* !YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED  */