/* Copy the first part of user declarations. */
/* Line 268 of yacc.c */
-#line 1 "parserPromela.yacc"
+#line 7 "parserPromela.yacc"
#include "automaton_lexer.yy.c"
{
/* Line 293 of yacc.c */
-#line 10 "parserPromela.yacc"
+#line 16 "parserPromela.yacc"
double real;
int integer;
char* string;
- xbt_exp_label_t label;
+ xbt_automaton_exp_label_t label;
/* 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, 53, 53, 56, 57, 57, 60, 61, 64, 65,
+ 66, 67, 68, 69
};
#endif
case 4:
/* Line 1806 of yacc.c */
-#line 51 "parserPromela.yacc"
+#line 57 "parserPromela.yacc"
{ new_state((yyvsp[(1) - (2)].string), 1);}
break;
case 7:
/* Line 1806 of yacc.c */
-#line 55 "parserPromela.yacc"
+#line 61 "parserPromela.yacc"
{ new_transition((yyvsp[(5) - (6)].string), (yyvsp[(2) - (6)].label));}
break;
case 8:
/* Line 1806 of yacc.c */
-#line 58 "parserPromela.yacc"
+#line 64 "parserPromela.yacc"
{ (yyval.label) = (yyvsp[(2) - (3)].label); }
break;
case 9:
/* Line 1806 of yacc.c */
-#line 59 "parserPromela.yacc"
+#line 65 "parserPromela.yacc"
{ (yyval.label) = new_label(0, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 10:
/* Line 1806 of yacc.c */
-#line 60 "parserPromela.yacc"
+#line 66 "parserPromela.yacc"
{ (yyval.label) = new_label(1, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 11:
/* Line 1806 of yacc.c */
-#line 61 "parserPromela.yacc"
+#line 67 "parserPromela.yacc"
{ (yyval.label) = new_label(2, (yyvsp[(2) - (2)].label)); }
break;
case 12:
/* Line 1806 of yacc.c */
-#line 62 "parserPromela.yacc"
+#line 68 "parserPromela.yacc"
{ (yyval.label) = new_label(4); }
break;
case 13:
/* Line 1806 of yacc.c */
-#line 63 "parserPromela.yacc"
+#line 69 "parserPromela.yacc"
{ (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
break;
/* Line 2067 of yacc.c */
-#line 66 "parserPromela.yacc"
+#line 72 "parserPromela.yacc"