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
[mc] Extend xbt_propositional_symbols
[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
6a9502d
..
898e1e4
100644
(file)
--- 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. */
#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"
#include "automaton_lexer.yy.c"
@@
-142,7
+142,7
@@
extern int xbt_automaton_parser_debug;
typedef union YYSTYPE YYSTYPE;
union YYSTYPE
{
typedef union YYSTYPE YYSTYPE;
union YYSTYPE
{
-#line 1
0
"parserPromela.yacc" /* yacc.c:355 */
+#line 1
6
"parserPromela.yacc" /* yacc.c:355 */
double real;
int integer;
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[] =
{
/* 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
@@
-1250,49
+1250,49
@@
yyreduce:
switch (yyn)
{
case 4:
switch (yyn)
{
case 4:
-#line 5
1
"parserPromela.yacc" /* yacc.c:1646 */
+#line 5
7
"parserPromela.yacc" /* yacc.c:1646 */
{ new_state((yyvsp[-1].string), 1);}
#line 1256 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 7:
{ 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:
{ 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:
{ (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:
{ (yyval.label) = new_label(0, (yyvsp[-2].label), (yyvsp[0].label)); }
#line 1274 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 10:
-#line 6
0
"parserPromela.yacc" /* yacc.c:1646 */
+#line 6
6
"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:
{ (yyval.label) = new_label(1, (yyvsp[-2].label), (yyvsp[0].label)); }
#line 1280 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 11:
-#line 6
1
"parserPromela.yacc" /* yacc.c:1646 */
+#line 6
7
"parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(2, (yyvsp[0].label)); }
#line 1286 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 12:
{ (yyval.label) = new_label(2, (yyvsp[0].label)); }
#line 1286 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 12:
-#line 6
2
"parserPromela.yacc" /* yacc.c:1646 */
+#line 6
8
"parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(4); }
#line 1292 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 13:
{ (yyval.label) = new_label(4); }
#line 1292 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 13:
-#line 6
3
"parserPromela.yacc" /* yacc.c:1646 */
+#line 6
9
"parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(3, (yyvsp[0].string)); }
#line 1298 "parserPromela.tab.cacc" /* yacc.c:1646 */
break;
{ (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;
}
#endif
return yyresult;
}
-#line
66
"parserPromela.yacc" /* yacc.c:1906 */
+#line
72
"parserPromela.yacc" /* yacc.c:1906 */