X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/49e85177c669d793e84242983a1b1f430e47184e..f2df13795e01302813a6aef10825ec7e922ce530:/src/xbt/automaton/parserPromela.tab.hacc

diff --git a/src/xbt/automaton/parserPromela.tab.hacc b/src/xbt/automaton/parserPromela.tab.hacc
index 587506e790..27ae7bf0cc 100644
--- 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 3.0.2.  */
+/* A Bison parser, made by GNU Bison 2.5.  */
 
 /* Bison interface for Yacc-like parsers in C
-
-   Copyright (C) 1984, 1989-1990, 2000-2013 Free Software Foundation, Inc.
-
+   
+      Copyright (C) 1984, 1989-1990, 2000-2011 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,69 +26,64 @@
    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
 
-/* Token type.  */
+/* Tokens.  */
 #ifndef YYTOKENTYPE
 # define YYTOKENTYPE
-  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
-  };
+   /* 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
+   };
 #endif
 
-/* Value type.  */
+
+
 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
-typedef union YYSTYPE YYSTYPE;
-union YYSTYPE
+typedef union YYSTYPE
 {
-#line 16 "parserPromela.yacc" /* yacc.c:1909  */
+
+/* Line 2068 of yacc.c  */
+#line 16 "parserPromela.yacc"
 
   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;
 # 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  */