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
Update factor for model LegrandVelho.
[simgrid.git]
/
examples
/
msg
/
mc
/
y.tab.c
diff --git
a/examples/msg/mc/y.tab.c
b/examples/msg/mc/y.tab.c
index
6a87e3f
..
d2cd6cb
100644
(file)
--- a/
examples/msg/mc/y.tab.c
+++ b/
examples/msg/mc/y.tab.c
@@
-75,10
+75,12
@@
#include "automatonparse_promela.h"
#include "lex.yy.c"
#include "automatonparse_promela.h"
#include "lex.yy.c"
+void yyerror(const char *s);
+
/* Line 189 of yacc.c */
/* Line 189 of yacc.c */
-#line 8
2
"y.tab.c"
+#line 8
4
"y.tab.c"
/* Enabling traces. */
#ifndef YYDEBUG
/* Enabling traces. */
#ifndef YYDEBUG
@@
-157,7
+159,7
@@
typedef union YYSTYPE
{
/* Line 214 of yacc.c */
{
/* Line 214 of yacc.c */
-#line
9
"parserPromela.yacc"
+#line
11
"parserPromela.yacc"
double real;
int integer;
double real;
int integer;
@@
-167,7
+169,7
@@
typedef union YYSTYPE
/* Line 214 of yacc.c */
/* Line 214 of yacc.c */
-#line 17
1
"y.tab.c"
+#line 17
3
"y.tab.c"
} YYSTYPE;
# define YYSTYPE_IS_TRIVIAL 1
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
} YYSTYPE;
# define YYSTYPE_IS_TRIVIAL 1
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
@@
-179,7
+181,7
@@
typedef union YYSTYPE
/* Line 264 of yacc.c */
/* Line 264 of yacc.c */
-#line 18
3
"y.tab.c"
+#line 18
5
"y.tab.c"
#ifdef short
# undef short
#ifdef short
# undef short
@@
-467,8
+469,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, 4
6, 46, 49, 50, 50, 53, 54, 57, 58
,
- 59, 60, 61, 62
+ 0, 4
8, 48, 51, 52, 52, 55, 56, 59, 60
,
+ 61, 62, 63, 64
};
#endif
};
#endif
@@
-1384,63
+1386,63
@@
yyreduce:
case 4:
/* Line 1455 of yacc.c */
case 4:
/* Line 1455 of yacc.c */
-#line 5
0
"parserPromela.yacc"
+#line 5
2
"parserPromela.yacc"
{ new_state((yyvsp[(1) - (2)].string), 1);}
break;
case 7:
/* Line 1455 of yacc.c */
{ new_state((yyvsp[(1) - (2)].string), 1);}
break;
case 7:
/* Line 1455 of yacc.c */
-#line 5
4
"parserPromela.yacc"
+#line 5
6
"parserPromela.yacc"
{ new_transition((yyvsp[(5) - (6)].string), (yyvsp[(2) - (6)].label));}
break;
case 8:
/* Line 1455 of yacc.c */
{ new_transition((yyvsp[(5) - (6)].string), (yyvsp[(2) - (6)].label));}
break;
case 8:
/* Line 1455 of yacc.c */
-#line 5
7
"parserPromela.yacc"
+#line 5
9
"parserPromela.yacc"
{ (yyval.label) = (yyvsp[(2) - (3)].label); }
break;
case 9:
/* Line 1455 of yacc.c */
{ (yyval.label) = (yyvsp[(2) - (3)].label); }
break;
case 9:
/* Line 1455 of yacc.c */
-#line
58
"parserPromela.yacc"
+#line
60
"parserPromela.yacc"
{ (yyval.label) = new_label(0, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 10:
/* Line 1455 of yacc.c */
{ (yyval.label) = new_label(0, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 10:
/* Line 1455 of yacc.c */
-#line
59
"parserPromela.yacc"
+#line
61
"parserPromela.yacc"
{ (yyval.label) = new_label(1, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 11:
/* Line 1455 of yacc.c */
{ (yyval.label) = new_label(1, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 11:
/* Line 1455 of yacc.c */
-#line 6
0
"parserPromela.yacc"
+#line 6
2
"parserPromela.yacc"
{ (yyval.label) = new_label(2, (yyvsp[(2) - (2)].label)); }
break;
case 12:
/* Line 1455 of yacc.c */
{ (yyval.label) = new_label(2, (yyvsp[(2) - (2)].label)); }
break;
case 12:
/* Line 1455 of yacc.c */
-#line 6
1
"parserPromela.yacc"
+#line 6
3
"parserPromela.yacc"
{ (yyval.label) = new_label(4); }
break;
case 13:
/* Line 1455 of yacc.c */
{ (yyval.label) = new_label(4); }
break;
case 13:
/* Line 1455 of yacc.c */
-#line 6
2
"parserPromela.yacc"
+#line 6
4
"parserPromela.yacc"
{ (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
break;
/* Line 1455 of yacc.c */
{ (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
break;
/* Line 1455 of yacc.c */
-#line 144
4
"y.tab.c"
+#line 144
6
"y.tab.c"
default: break;
}
YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
default: break;
}
YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
@@
-1652,13
+1654,15
@@
yyreturn:
/* Line 1675 of yacc.c */
/* Line 1675 of yacc.c */
-#line 6
5
"parserPromela.yacc"
+#line 6
7
"parserPromela.yacc"
-int yyerror(char *s) {
- fprintf(stderr, "%s\n", s);
- return 0;
+
+
+void yyerror(const char *s){
+ fprintf (stderr, "%s\n", s);
}
}
+