#define yychar xbt_automaton_parser_char
/* Copy the first part of user declarations. */
-#line 1 "parserPromela.yacc" /* yacc.c:339 */
+#line 7 "parserPromela.yacc" /* yacc.c:339 */
+#include "simgrid_config.h"
+#ifndef 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
typedef union YYSTYPE YYSTYPE;
union YYSTYPE
{
-#line 10 "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 */
};
# define YYSTYPE_IS_TRIVIAL 1
# define YYSTYPE_IS_DECLARED 1
/* Copy the second part of user declarations. */
-#line 168 "parserPromela.tab.cacc" /* yacc.c:358 */
+#line 172 "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, 47, 47, 50, 51, 51, 54, 55, 58, 59,
- 60, 61, 62, 63
+ 0, 57, 57, 60, 61, 61, 64, 65, 68, 69,
+ 70, 71, 72, 73
};
#endif
switch (yyn)
{
case 4:
-#line 51 "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 1260 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 7:
-#line 55 "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 1266 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 8:
-#line 58 "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 1272 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 9:
-#line 59 "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 1278 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 10:
-#line 60 "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 1284 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 11:
-#line 61 "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 1290 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 12:
-#line 62 "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 1296 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 13:
-#line 63 "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 1302 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
-#line 1302 "parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1306 "parserPromela.tab.cacc" /* yacc.c:1646 */
default: break;
}
/* User semantic actions sometimes alter yychar, and that requires
#endif
return yyresult;
}
-#line 66 "parserPromela.yacc" /* yacc.c:1906 */
+#line 76 "parserPromela.yacc" /* yacc.c:1906 */