-/* A Bison parser, made by GNU Bison 3.0.2. */
+/* A Bison parser, made by GNU Bison 3.0.4. */
/* Bison implementation for Yacc-like parsers in C
- Copyright (C) 1984, 1989-1990, 2000-2013 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
#define YYBISON 1
/* Bison version. */
-#define YYBISON_VERSION "3.0.2"
+#define YYBISON_VERSION "3.0.4"
/* Skeleton name. */
#define YYSKELETON_NAME "yacc.c"
/* Copy the first part of user declarations. */
#line 7 "parserPromela.yacc" /* yacc.c:339 */
+#include "simgrid/config.h"
+#if !HAVE_UNISTD_H
+#define YY_NO_UNISTD_H /* hello Windows */
+#endif
#include "automaton_lexer.yy.c"
#include <xbt/automaton.h>
void yyerror(const char *s);
-#line 83 "parserPromela.tab.cacc" /* yacc.c:339 */
+#line 87 "parserPromela.tab.cacc" /* yacc.c:339 */
# ifndef YY_NULLPTR
# if defined __cplusplus && 201103L <= __cplusplus
/* Value type. */
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
-typedef union YYSTYPE YYSTYPE;
+
union YYSTYPE
{
-#line 16 "parserPromela.yacc" /* yacc.c:355 */
+#line 20 "parserPromela.yacc" /* yacc.c:355 */
double real;
int integer;
char* string;
xbt_automaton_exp_label_t label;
-#line 153 "parserPromela.tab.cacc" /* yacc.c:355 */
+#line 157 "parserPromela.tab.cacc" /* yacc.c:355 */
};
+
+typedef union YYSTYPE YYSTYPE;
# define YYSTYPE_IS_TRIVIAL 1
# define YYSTYPE_IS_DECLARED 1
#endif
/* Copy the second part of user declarations. */
-#line 168 "parserPromela.tab.cacc" /* yacc.c:358 */
+#line 174 "parserPromela.tab.cacc" /* yacc.c:358 */
#ifdef short
# undef short
/* YYRLINE[YYN] -- Source line where rule number YYN was defined. */
static const yytype_uint8 yyrline[] =
{
- 0, 53, 53, 56, 57, 57, 60, 61, 64, 65,
- 66, 67, 68, 69
+ 0, 57, 57, 60, 61, 61, 64, 65, 68, 69,
+ 70, 71, 72, 73
};
#endif
switch (yyn)
{
case 4:
-#line 57 "parserPromela.yacc" /* yacc.c:1646 */
+#line 61 "parserPromela.yacc" /* yacc.c:1646 */
{ new_state((yyvsp[-1].string), 1);}
-#line 1256 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1262 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 7:
-#line 61 "parserPromela.yacc" /* yacc.c:1646 */
+#line 65 "parserPromela.yacc" /* yacc.c:1646 */
{ new_transition((yyvsp[-1].string), (yyvsp[-4].label));}
-#line 1262 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1268 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 8:
-#line 64 "parserPromela.yacc" /* yacc.c:1646 */
+#line 68 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = (yyvsp[-1].label); }
-#line 1268 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1274 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 9:
-#line 65 "parserPromela.yacc" /* yacc.c:1646 */
+#line 69 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(0, (yyvsp[-2].label), (yyvsp[0].label)); }
-#line 1274 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1280 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 10:
-#line 66 "parserPromela.yacc" /* yacc.c:1646 */
+#line 70 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(1, (yyvsp[-2].label), (yyvsp[0].label)); }
-#line 1280 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1286 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 11:
-#line 67 "parserPromela.yacc" /* yacc.c:1646 */
+#line 71 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(2, (yyvsp[0].label)); }
-#line 1286 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1292 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 12:
-#line 68 "parserPromela.yacc" /* yacc.c:1646 */
+#line 72 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(4); }
-#line 1292 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1298 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 13:
-#line 69 "parserPromela.yacc" /* yacc.c:1646 */
+#line 73 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(3, (yyvsp[0].string)); }
-#line 1298 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1304 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
-#line 1302 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1308 "parserPromela.tab.cacc" /* yacc.c:1646 */
default: break;
}
/* User semantic actions sometimes alter yychar, and that requires
#endif
return yyresult;
}
-#line 72 "parserPromela.yacc" /* yacc.c:1906 */
+#line 76 "parserPromela.yacc" /* yacc.c:1906 */