X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/22434b3c5fb97be63441ce80192a32a1b310c4b7..7cad4f0d54aafeabb7ee95007fc370514c4923a9:/src/xbt/automaton/parserPromela.tab.cacc

diff --git a/src/xbt/automaton/parserPromela.tab.cacc b/src/xbt/automaton/parserPromela.tab.cacc
index 6a9502d0a2..898e1e4bf4 100644
--- a/src/xbt/automaton/parserPromela.tab.cacc
+++ b/src/xbt/automaton/parserPromela.tab.cacc
@@ -70,7 +70,7 @@
 #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"
@@ -142,7 +142,7 @@ extern int xbt_automaton_parser_debug;
 typedef union YYSTYPE YYSTYPE;
 union YYSTYPE
 {
-#line 10 "parserPromela.yacc" /* yacc.c:355  */
+#line 16 "parserPromela.yacc" /* yacc.c:355  */
 
   double real;
   int integer;
@@ -463,8 +463,8 @@ static const yytype_uint8 yytranslate[] =
   /* 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
 
@@ -1250,49 +1250,49 @@ yyreduce:
   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;
@@ -1526,7 +1526,7 @@ yyreturn:
 #endif
   return yyresult;
 }
-#line 66 "parserPromela.yacc" /* yacc.c:1906  */
+#line 72 "parserPromela.yacc" /* yacc.c:1906  */