* under the terms of the license (GNU LGPL) which comes with this package. */
#line 10 "parserPromela.lex"
+#include "simgrid_config.h"
+#if !HAVE_UNISTD_H
+#define YY_NO_UNISTD_H /* hello Windows */
+
+#ifdef _MSC_VER
+# include <io.h>
+# include <process.h>
+# define _CRT_SECURE_NO_WARNINGS
+# define _CRT_NONSTDC_NO_WARNINGS
+#endif
+#endif
#include <stdio.h>
#include "parserPromela.tab.hacc"
extern YYSTYPE yylval;
-#line 538 "automaton_lexer.yy.c"
+#line 549 "automaton_lexer.yy.c"
#define INITIAL 0
}
{
-#line 34 "parserPromela.lex"
+#line 45 "parserPromela.lex"
-#line 755 "automaton_lexer.yy.c"
+#line 766 "automaton_lexer.yy.c"
while ( 1 ) /* loops until end-of-file is reached */
{
case 1:
YY_RULE_SETUP
-#line 36 "parserPromela.lex"
+#line 47 "parserPromela.lex"
{ return (NEVER); }
YY_BREAK
case 2:
YY_RULE_SETUP
-#line 37 "parserPromela.lex"
+#line 48 "parserPromela.lex"
{ return (IF); }
YY_BREAK
case 3:
YY_RULE_SETUP
-#line 38 "parserPromela.lex"
+#line 49 "parserPromela.lex"
{ return (FI); }
YY_BREAK
case 4:
YY_RULE_SETUP
-#line 39 "parserPromela.lex"
+#line 50 "parserPromela.lex"
{ return (IMPLIES); }
YY_BREAK
case 5:
YY_RULE_SETUP
-#line 40 "parserPromela.lex"
+#line 51 "parserPromela.lex"
{ return (GOTO); }
YY_BREAK
case 6:
YY_RULE_SETUP
-#line 41 "parserPromela.lex"
+#line 52 "parserPromela.lex"
{ return (AND); }
YY_BREAK
case 7:
YY_RULE_SETUP
-#line 42 "parserPromela.lex"
+#line 53 "parserPromela.lex"
{ return (OR); }
YY_BREAK
case 8:
YY_RULE_SETUP
-#line 43 "parserPromela.lex"
+#line 54 "parserPromela.lex"
{ return (NOT); }
YY_BREAK
case 9:
YY_RULE_SETUP
-#line 44 "parserPromela.lex"
+#line 55 "parserPromela.lex"
{ return (LEFT_PAR); }
YY_BREAK
case 10:
YY_RULE_SETUP
-#line 45 "parserPromela.lex"
+#line 56 "parserPromela.lex"
{ return (RIGHT_PAR); }
YY_BREAK
case 11:
YY_RULE_SETUP
-#line 46 "parserPromela.lex"
+#line 57 "parserPromela.lex"
{ return (CASE); }
YY_BREAK
case 12:
YY_RULE_SETUP
-#line 47 "parserPromela.lex"
+#line 58 "parserPromela.lex"
{ return (COLON); }
YY_BREAK
case 13:
YY_RULE_SETUP
-#line 48 "parserPromela.lex"
+#line 59 "parserPromela.lex"
{ return (SEMI_COLON); }
YY_BREAK
case 14:
YY_RULE_SETUP
-#line 49 "parserPromela.lex"
+#line 60 "parserPromela.lex"
{ return (CASE_TRUE); }
YY_BREAK
case 15:
YY_RULE_SETUP
-#line 50 "parserPromela.lex"
+#line 61 "parserPromela.lex"
{ return (LEFT_BRACE); }
YY_BREAK
case 16:
YY_RULE_SETUP
-#line 51 "parserPromela.lex"
+#line 62 "parserPromela.lex"
{ return (RIGHT_BRACE); }
YY_BREAK
case 17:
/* rule 17 can match eol */
YY_RULE_SETUP
-#line 54 "parserPromela.lex"
+#line 65 "parserPromela.lex"
{ }
YY_BREAK
case 18:
YY_RULE_SETUP
-#line 56 "parserPromela.lex"
+#line 67 "parserPromela.lex"
{ }
YY_BREAK
case 19:
YY_RULE_SETUP
-#line 59 "parserPromela.lex"
+#line 70 "parserPromela.lex"
{ sscanf(xbt_automaton_parser_text,"%lf",&yylval.real);
return (LITT_REEL); }
YY_BREAK
case 20:
YY_RULE_SETUP
-#line 62 "parserPromela.lex"
+#line 73 "parserPromela.lex"
{ sscanf(xbt_automaton_parser_text,"%d",&yylval.integer);
return (LITT_ENT); }
YY_BREAK
case 21:
/* rule 21 can match eol */
YY_RULE_SETUP
-#line 65 "parserPromela.lex"
+#line 76 "parserPromela.lex"
{ yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
sscanf(xbt_automaton_parser_text,"%s",yylval.string);
return (LITT_CHAINE); }
YY_BREAK
case 22:
YY_RULE_SETUP
-#line 69 "parserPromela.lex"
+#line 80 "parserPromela.lex"
{ yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
sscanf(xbt_automaton_parser_text,"%s",yylval.string);
return (ID); }
case 23:
/* rule 23 can match eol */
YY_RULE_SETUP
-#line 73 "parserPromela.lex"
+#line 84 "parserPromela.lex"
{ }
YY_BREAK
case 24:
YY_RULE_SETUP
-#line 75 "parserPromela.lex"
+#line 86 "parserPromela.lex"
{ }
YY_BREAK
case 25:
YY_RULE_SETUP
-#line 77 "parserPromela.lex"
+#line 88 "parserPromela.lex"
ECHO;
YY_BREAK
-#line 946 "automaton_lexer.yy.c"
+#line 957 "automaton_lexer.yy.c"
case YY_STATE_EOF(INITIAL):
yyterminate();
#define YYTABLES_NAME "yytables"
-#line 76 "parserPromela.lex"
+#line 87 "parserPromela.lex"