A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'mc++'
[simgrid.git]
/
src
/
xbt
/
automaton
/
parserPromela.tab.cacc
diff --git
a/src/xbt/automaton/parserPromela.tab.cacc
b/src/xbt/automaton/parserPromela.tab.cacc
index
b09c634
..
a0cf8ed
100644
(file)
--- a/
src/xbt/automaton/parserPromela.tab.cacc
+++ b/
src/xbt/automaton/parserPromela.tab.cacc
@@
-74,7
+74,7
@@
/* Copy the first part of user declarations. */
/* Line 268 of yacc.c */
/* 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"
#include "automaton_lexer.yy.c"
@@
-142,12
+142,12
@@
typedef union YYSTYPE
{
/* Line 293 of yacc.c */
{
/* Line 293 of yacc.c */
-#line 1
0
"parserPromela.yacc"
+#line 1
6
"parserPromela.yacc"
double real;
int integer;
char* string;
double real;
int integer;
char* string;
- xbt_exp_label_t label;
+ xbt_
automaton_
exp_label_t label;
@@
-456,8
+456,8
@@
static const yytype_int8 yyrhs[] =
/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
static const yytype_uint8 yyrline[] =
{
/* 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
,
- 6
0, 61, 62, 63
+ 0,
53, 53, 56, 57, 57, 60, 61, 64, 65
,
+ 6
6, 67, 68, 69
};
#endif
};
#endif
@@
-1401,56
+1401,56
@@
yyreduce:
case 4:
/* Line 1806 of yacc.c */
case 4:
/* Line 1806 of yacc.c */
-#line 5
1
"parserPromela.yacc"
+#line 5
7
"parserPromela.yacc"
{ new_state((yyvsp[(1) - (2)].string), 1);}
break;
case 7:
/* Line 1806 of yacc.c */
{ 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 */
{ 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 */
{ (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 */
{ (yyval.label) = new_label(0, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 10:
/* Line 1806 of yacc.c */
-#line 6
0
"parserPromela.yacc"
+#line 6
6
"parserPromela.yacc"
{ (yyval.label) = new_label(1, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 11:
/* Line 1806 of yacc.c */
{ (yyval.label) = new_label(1, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 11:
/* Line 1806 of yacc.c */
-#line 6
1
"parserPromela.yacc"
+#line 6
7
"parserPromela.yacc"
{ (yyval.label) = new_label(2, (yyvsp[(2) - (2)].label)); }
break;
case 12:
/* Line 1806 of yacc.c */
{ (yyval.label) = new_label(2, (yyvsp[(2) - (2)].label)); }
break;
case 12:
/* Line 1806 of yacc.c */
-#line 6
2
"parserPromela.yacc"
+#line 6
8
"parserPromela.yacc"
{ (yyval.label) = new_label(4); }
break;
case 13:
/* Line 1806 of yacc.c */
{ (yyval.label) = new_label(4); }
break;
case 13:
/* Line 1806 of yacc.c */
-#line 6
3
"parserPromela.yacc"
+#line 6
9
"parserPromela.yacc"
{ (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
break;
{ (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
break;
@@
-1688,7
+1688,7
@@
yyreturn:
/* Line 2067 of yacc.c */
/* Line 2067 of yacc.c */
-#line
66
"parserPromela.yacc"
+#line
72
"parserPromela.yacc"