-/* A Bison parser, made by GNU Bison 2.5. */
+/* A Bison parser, made by GNU Bison 3.0.2. */
/* 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-2013 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/>. */
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
+typedef union YYSTYPE YYSTYPE;
+union YYSTYPE
{
-
-/* Line 2068 of yacc.c */
-#line 16 "parserPromela.yacc"
+#line 20 "parserPromela.yacc" /* yacc.c:1909 */
double real;
int integer;
char* string;
xbt_automaton_exp_label_t label;
-
-
-/* Line 2068 of yacc.c */
-#line 81 "parserPromela.tab.hacc"
-} YYSTYPE;
+#line 84 "parserPromela.tab.hacc" /* yacc.c:1909 */
+};
# 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 */