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
Replace usleep for nanosleep
[simgrid.git]
/
src
/
xbt
/
automaton
/
y.tab.c
diff --git
a/src/xbt/automaton/y.tab.c
b/src/xbt/automaton/y.tab.c
index
f5b9049
..
c8811de
100644
(file)
--- a/
src/xbt/automaton/y.tab.c
+++ b/
src/xbt/automaton/y.tab.c
@@
-69,8
+69,6
@@
#line 1 "parserPromela.yacc"
#line 1 "parserPromela.yacc"
- //#include "../../../include/xbt/automatonparse_promela.h"
- //#include "../../../include/xbt/automaton.h"
#include "automaton_parse.yy.c"
#include <xbt/automaton.h>
#include <xbt/automatonparse_promela.h>
#include "automaton_parse.yy.c"
#include <xbt/automaton.h>
#include <xbt/automatonparse_promela.h>
@@
-80,7
+78,7
@@
void yyerror(const char *s);
/* Line 268 of yacc.c */
/* Line 268 of yacc.c */
-#line 8
4
"y.tab.c"
+#line 8
2
"y.tab.c"
/* Enabling traces. */
#ifndef YYDEBUG
/* Enabling traces. */
#ifndef YYDEBUG
@@
-159,7
+157,7
@@
typedef union YYSTYPE
{
/* Line 293 of yacc.c */
{
/* Line 293 of yacc.c */
-#line 1
3
"parserPromela.yacc"
+#line 1
1
"parserPromela.yacc"
double real;
int integer;
double real;
int integer;
@@
-169,7
+167,7
@@
typedef union YYSTYPE
/* Line 293 of yacc.c */
/* Line 293 of yacc.c */
-#line 17
3
"y.tab.c"
+#line 17
1
"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 */
@@
-181,7
+179,7
@@
typedef union YYSTYPE
/* Line 343 of yacc.c */
/* Line 343 of yacc.c */
-#line 18
5
"y.tab.c"
+#line 18
3
"y.tab.c"
#ifdef short
# undef short
#ifdef short
# undef short
@@
-473,8
+471,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,
50, 50, 53, 54, 54, 57, 58, 61, 62
,
- 6
3, 64, 65, 66
+ 0,
48, 48, 51, 52, 52, 55, 56, 59, 60
,
+ 6
1, 62, 63, 64
};
#endif
};
#endif
@@
-1418,63
+1416,63
@@
yyreduce:
case 4:
/* Line 1806 of yacc.c */
case 4:
/* Line 1806 of yacc.c */
-#line 5
4
"parserPromela.yacc"
+#line 5
2
"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 5
8
"parserPromela.yacc"
+#line 5
6
"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
61
"parserPromela.yacc"
+#line
59
"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 6
2
"parserPromela.yacc"
+#line 6
0
"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
3
"parserPromela.yacc"
+#line 6
1
"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
4
"parserPromela.yacc"
+#line 6
2
"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
5
"parserPromela.yacc"
+#line 6
3
"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
6
"parserPromela.yacc"
+#line 6
4
"parserPromela.yacc"
{ (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
break;
/* Line 1806 of yacc.c */
{ (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
break;
/* Line 1806 of yacc.c */
-#line 147
8
"y.tab.c"
+#line 147
6
"y.tab.c"
default: break;
}
/* User semantic actions sometimes alter yychar, and that requires
default: break;
}
/* User semantic actions sometimes alter yychar, and that requires
@@
-1705,7
+1703,7
@@
yyreturn:
/* Line 2067 of yacc.c */
/* Line 2067 of yacc.c */
-#line 6
9
"parserPromela.yacc"
+#line 6
7
"parserPromela.yacc"