#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 "automaton_lexer.yy.c"
typedef union YYSTYPE YYSTYPE;
union YYSTYPE
{
-#line 10 "parserPromela.yacc" /* yacc.c:355 */
+#line 16 "parserPromela.yacc" /* yacc.c:355 */
double real;
int integer;
/* 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
switch (yyn)
{
case 4:
-#line 51 "parserPromela.yacc" /* yacc.c:1646 */
+#line 57 "parserPromela.yacc" /* yacc.c:1646 */
{ new_state((yyvsp[-1].string), 1);}
#line 1256 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 7:
-#line 55 "parserPromela.yacc" /* yacc.c:1646 */
+#line 61 "parserPromela.yacc" /* yacc.c:1646 */
{ new_transition((yyvsp[-1].string), (yyvsp[-4].label));}
#line 1262 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 8:
-#line 58 "parserPromela.yacc" /* yacc.c:1646 */
+#line 64 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = (yyvsp[-1].label); }
#line 1268 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 9:
-#line 59 "parserPromela.yacc" /* yacc.c:1646 */
+#line 65 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(0, (yyvsp[-2].label), (yyvsp[0].label)); }
#line 1274 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 10:
-#line 60 "parserPromela.yacc" /* yacc.c:1646 */
+#line 66 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(1, (yyvsp[-2].label), (yyvsp[0].label)); }
#line 1280 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 11:
-#line 61 "parserPromela.yacc" /* yacc.c:1646 */
+#line 67 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(2, (yyvsp[0].label)); }
#line 1286 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 12:
-#line 62 "parserPromela.yacc" /* yacc.c:1646 */
+#line 68 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(4); }
#line 1292 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 13:
-#line 63 "parserPromela.yacc" /* yacc.c:1646 */
+#line 69 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(3, (yyvsp[0].string)); }
#line 1298 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
#endif
return yyresult;
}
-#line 66 "parserPromela.yacc" /* yacc.c:1906 */
+#line 72 "parserPromela.yacc" /* yacc.c:1906 */