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
[DOC] Fixed even more errors.
[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
..
67892ec
100644
(file)
--- a/
src/xbt/automaton/parserPromela.tab.cacc
+++ b/
src/xbt/automaton/parserPromela.tab.cacc
@@
-70,8
+70,12
@@
#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 "simgrid_config.h"
+#ifndef HAVE_UNISTD_H
+#define YY_NO_UNISTD_H /* hello Windows */
+#endif
#include "automaton_lexer.yy.c"
#include <xbt/automaton.h>
#include "automaton_lexer.yy.c"
#include <xbt/automaton.h>
@@
-79,7
+83,7
@@
void yyerror(const char *s);
void yyerror(const char *s);
-#line 8
3
"parserPromela.tab.cacc" /* yacc.c:339 */
+#line 8
7
"parserPromela.tab.cacc" /* yacc.c:339 */
# ifndef YY_NULLPTR
# if defined __cplusplus && 201103L <= __cplusplus
# ifndef YY_NULLPTR
# if defined __cplusplus && 201103L <= __cplusplus
@@
-142,14
+146,14
@@
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
2
0 "parserPromela.yacc" /* yacc.c:355 */
double real;
int integer;
char* string;
xbt_automaton_exp_label_t label;
double real;
int integer;
char* string;
xbt_automaton_exp_label_t label;
-#line 15
3
"parserPromela.tab.cacc" /* yacc.c:355 */
+#line 15
7
"parserPromela.tab.cacc" /* yacc.c:355 */
};
# define YYSTYPE_IS_TRIVIAL 1
# define YYSTYPE_IS_DECLARED 1
};
# define YYSTYPE_IS_TRIVIAL 1
# define YYSTYPE_IS_DECLARED 1
@@
-164,7
+168,7
@@
int xbt_automaton_parser_parse (void);
/* Copy the second part of user declarations. */
/* Copy the second part of user declarations. */
-#line 1
68
"parserPromela.tab.cacc" /* yacc.c:358 */
+#line 1
72
"parserPromela.tab.cacc" /* yacc.c:358 */
#ifdef short
# undef short
#ifdef short
# undef short
@@
-463,8
+467,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, 5
9,
-
60, 61, 62, 6
3
+ 0,
57, 57, 60, 61, 61, 64, 65, 68, 6
9,
+
70, 71, 72, 7
3
};
#endif
};
#endif
@@
-1250,55
+1254,55
@@
yyreduce:
switch (yyn)
{
case 4:
switch (yyn)
{
case 4:
-#line
5
1 "parserPromela.yacc" /* yacc.c:1646 */
+#line
6
1 "parserPromela.yacc" /* yacc.c:1646 */
{ new_state((yyvsp[-1].string), 1);}
{ new_state((yyvsp[-1].string), 1);}
-#line 12
56
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 12
60
"parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 7:
break;
case 7:
-#line
5
5 "parserPromela.yacc" /* yacc.c:1646 */
+#line
6
5 "parserPromela.yacc" /* yacc.c:1646 */
{ new_transition((yyvsp[-1].string), (yyvsp[-4].label));}
{ new_transition((yyvsp[-1].string), (yyvsp[-4].label));}
-#line 126
2
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 126
6
"parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 8:
break;
case 8:
-#line
5
8 "parserPromela.yacc" /* yacc.c:1646 */
+#line
6
8 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = (yyvsp[-1].label); }
{ (yyval.label) = (yyvsp[-1].label); }
-#line 12
68
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 12
72
"parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 9:
break;
case 9:
-#line
5
9 "parserPromela.yacc" /* yacc.c:1646 */
+#line
6
9 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(0, (yyvsp[-2].label), (yyvsp[0].label)); }
{ (yyval.label) = new_label(0, (yyvsp[-2].label), (yyvsp[0].label)); }
-#line 127
4
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 127
8
"parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 10:
break;
case 10:
-#line
6
0 "parserPromela.yacc" /* yacc.c:1646 */
+#line
7
0 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(1, (yyvsp[-2].label), (yyvsp[0].label)); }
{ (yyval.label) = new_label(1, (yyvsp[-2].label), (yyvsp[0].label)); }
-#line 128
0
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 128
4
"parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 11:
break;
case 11:
-#line
6
1 "parserPromela.yacc" /* yacc.c:1646 */
+#line
7
1 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(2, (yyvsp[0].label)); }
{ (yyval.label) = new_label(2, (yyvsp[0].label)); }
-#line 12
86
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 12
90
"parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 12:
break;
case 12:
-#line
6
2 "parserPromela.yacc" /* yacc.c:1646 */
+#line
7
2 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(4); }
{ (yyval.label) = new_label(4); }
-#line 129
2
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 129
6
"parserPromela.tab.cacc" /* yacc.c:1646 */
break;
case 13:
break;
case 13:
-#line
6
3 "parserPromela.yacc" /* yacc.c:1646 */
+#line
7
3 "parserPromela.yacc" /* yacc.c:1646 */
{ (yyval.label) = new_label(3, (yyvsp[0].string)); }
{ (yyval.label) = new_label(3, (yyvsp[0].string)); }
-#line 1
298
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 1
302
"parserPromela.tab.cacc" /* yacc.c:1646 */
break;
break;
-#line 130
2
"parserPromela.tab.cacc" /* yacc.c:1646 */
+#line 130
6
"parserPromela.tab.cacc" /* yacc.c:1646 */
default: break;
}
/* User semantic actions sometimes alter yychar, and that requires
default: break;
}
/* User semantic actions sometimes alter yychar, and that requires
@@
-1526,7
+1530,7
@@
yyreturn:
#endif
return yyresult;
}
#endif
return yyresult;
}
-#line
6
6 "parserPromela.yacc" /* yacc.c:1906 */
+#line
7
6 "parserPromela.yacc" /* yacc.c:1906 */