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
kill our last '#ifdef _MSC_VER'
[simgrid.git]
/
src
/
xbt
/
automaton
/
automaton_lexer.yy.c
diff --git
a/src/xbt/automaton/automaton_lexer.yy.c
b/src/xbt/automaton/automaton_lexer.yy.c
index
5e1f80c
..
5541542
100644
(file)
--- a/
src/xbt/automaton/automaton_lexer.yy.c
+++ b/
src/xbt/automaton/automaton_lexer.yy.c
@@
-27,8
+27,8
@@
#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
-#define YY_FLEX_MINOR_VERSION
5
-#define YY_FLEX_SUBMINOR_VERSION
39
+#define YY_FLEX_MINOR_VERSION
6
+#define YY_FLEX_SUBMINOR_VERSION
0
#if YY_FLEX_SUBMINOR_VERSION > 0
#define FLEX_BETA
#endif
#if YY_FLEX_SUBMINOR_VERSION > 0
#define FLEX_BETA
#endif
@@
-53,7
+53,7
@@
#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
- * if you want the limit (max/min) macros for int types.
+ * if you want the limit (max/min) macros for int types.
*/
#ifndef __STDC_LIMIT_MACROS
#define __STDC_LIMIT_MACROS 1
*/
#ifndef __STDC_LIMIT_MACROS
#define __STDC_LIMIT_MACROS 1
@@
-70,7
+70,7
@@
typedef uint32_t flex_uint32_t;
typedef signed char flex_int8_t;
typedef short int flex_int16_t;
typedef int flex_int32_t;
typedef signed char flex_int8_t;
typedef short int flex_int16_t;
typedef int flex_int32_t;
-typedef unsigned char flex_uint8_t;
+typedef unsigned char flex_uint8_t;
typedef unsigned short int flex_uint16_t;
typedef unsigned int flex_uint32_t;
typedef unsigned short int flex_uint16_t;
typedef unsigned int flex_uint32_t;
@@
-196,7
+196,7
@@
extern FILE *xbt_automaton_parser_in, *xbt_automaton_parser_out;
#define YY_LESS_LINENO(n)
#define YY_LINENO_REWIND_TO(ptr)
#define YY_LESS_LINENO(n)
#define YY_LINENO_REWIND_TO(ptr)
-
+
/* Return all but the first "n" matched characters back to the input stream. */
#define yyless(n) \
do \
/* Return all but the first "n" matched characters back to the input stream. */
#define yyless(n) \
do \
@@
-230,7
+230,7
@@
struct yy_buffer_state
/* Number of characters read into yy_ch_buf, not including EOB
* characters.
*/
/* Number of characters read into yy_ch_buf, not including EOB
* characters.
*/
-
yy_size_
t yy_n_chars;
+
in
t yy_n_chars;
/* Whether we "own" the buffer - i.e., we know we created it,
* and can realloc() it to grow it, and should free() it to
/* Whether we "own" the buffer - i.e., we know we created it,
* and can realloc() it to grow it, and should free() it to
@@
-253,7
+253,7
@@
struct yy_buffer_state
int yy_bs_lineno; /**< The line count. */
int yy_bs_column; /**< The column count. */
int yy_bs_lineno; /**< The line count. */
int yy_bs_column; /**< The column count. */
-
+
/* Whether to try to fill the input buffer when we reach the
* end of it.
*/
/* Whether to try to fill the input buffer when we reach the
* end of it.
*/
@@
-300,7
+300,7
@@
static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
/* yy_hold_char holds the character lost when xbt_automaton_parser_text is formed. */
static char yy_hold_char;
/* yy_hold_char holds the character lost when xbt_automaton_parser_text is formed. */
static char yy_hold_char;
-static
yy_size_t yy_n_chars;
/* number of characters read into yy_ch_buf */
+static
int yy_n_chars;
/* number of characters read into yy_ch_buf */
yy_size_t xbt_automaton_parser_leng;
/* Points to current character in buffer. */
yy_size_t xbt_automaton_parser_leng;
/* Points to current character in buffer. */
@@
-361,7
+361,7
@@
void xbt_automaton_parser_free (void * );
/* Begin user sect3 */
/* Begin user sect3 */
-#define xbt_automaton_parser_wrap()
1
+#define xbt_automaton_parser_wrap()
(/*CONSTCOND*/1)
#define YY_SKIP_YYWRAP
typedef unsigned char YY_CHAR;
#define YY_SKIP_YYWRAP
typedef unsigned char YY_CHAR;
@@
-375,11
+375,17
@@
extern int xbt_automaton_parser_lineno;
int xbt_automaton_parser_lineno = 1;
extern char *xbt_automaton_parser_text;
int xbt_automaton_parser_lineno = 1;
extern char *xbt_automaton_parser_text;
+#ifdef yytext_ptr
+#undef yytext_ptr
+#endif
#define yytext_ptr xbt_automaton_parser_text
static yy_state_type yy_get_previous_state (void );
static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
static int yy_get_next_buffer (void );
#define yytext_ptr xbt_automaton_parser_text
static yy_state_type yy_get_previous_state (void );
static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
static int yy_get_next_buffer (void );
+#if defined(__GNUC__) && __GNUC__ >= 3
+__attribute__((__noreturn__))
+#endif
static void yy_fatal_error (yyconst char msg[] );
/* Done after the current pattern has been matched and before the
static void yy_fatal_error (yyconst char msg[] );
/* Done after the current pattern has been matched and before the
@@
-411,7
+417,7
@@
static yyconst flex_int16_t yy_accept[54] =
22, 1, 0
} ;
22, 1, 0
} ;
-static yyconst
flex_int32_t
yy_ec[256] =
+static yyconst
YY_CHAR
yy_ec[256] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
@@
-443,7
+449,7
@@
static yyconst flex_int32_t yy_ec[256] =
1, 1, 1, 1, 1
} ;
1, 1, 1, 1, 1
} ;
-static yyconst
flex_int32_t
yy_meta[34] =
+static yyconst
YY_CHAR
yy_meta[34] =
{ 0,
1, 1, 2, 2, 1, 2, 1, 1, 1, 1,
1, 1, 3, 4, 4, 1, 1, 1, 4, 2,
{ 0,
1, 1, 2, 2, 1, 2, 1, 1, 1, 1,
1, 1, 3, 4, 4, 1, 1, 1, 4, 2,
@@
-451,7
+457,7
@@
static yyconst flex_int32_t yy_meta[34] =
1, 1, 1
} ;
1, 1, 1
} ;
-static yyconst flex_int16_t yy_base[57] =
+static yyconst flex_
u
int16_t yy_base[57] =
{ 0,
0, 0, 89, 90, 32, 90, 90, 34, 81, 90,
90, 69, 76, 27, 31, 69, 90, 0, 59, 56,
{ 0,
0, 0, 89, 90, 32, 90, 90, 34, 81, 90,
90, 69, 76, 27, 31, 69, 90, 0, 59, 56,
@@
-471,7
+477,7
@@
static yyconst flex_int16_t yy_def[57] =
55, 55, 0, 53, 53, 53
} ;
55, 55, 0, 53, 53, 53
} ;
-static yyconst flex_int16_t yy_nxt[124] =
+static yyconst flex_
u
int16_t yy_nxt[124] =
{ 0,
4, 5, 6, 5, 7, 8, 9, 10, 11, 4,
12, 4, 13, 14, 15, 16, 17, 4, 18, 4,
{ 0,
4, 5, 6, 5, 7, 8, 9, 10, 11, 4,
12, 4, 13, 14, 15, 16, 17, 4, 18, 4,
@@
-522,21
+528,23
@@
int xbt_automaton_parser__flex_debug = 0;
#define YY_RESTORE_YY_MORE_OFFSET
char *xbt_automaton_parser_text;
#line 1 "parserPromela.lex"
#define YY_RESTORE_YY_MORE_OFFSET
char *xbt_automaton_parser_text;
#line 1 "parserPromela.lex"
-/* Copyright (c) 2012, 2014
-2015
. The SimGrid Team.
+/* Copyright (c) 2012, 2014. The SimGrid Team.
* All rights reserved. */
* All rights reserved. */
-
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-
#line 10 "parserPromela.lex"
#line 10 "parserPromela.lex"
+#include "simgrid_config.h"
+#if !HAVE_UNISTD_H
+#define YY_NO_UNISTD_H /* hello Windows */
+#endif
#include <stdio.h>
#include "parserPromela.tab.hacc"
#include <stdio.h>
#include "parserPromela.tab.hacc"
-
+
extern YYSTYPE yylval;
extern YYSTYPE yylval;
-
-#line 5
3
8 "automaton_lexer.yy.c"
+
+#line 5
4
8 "automaton_lexer.yy.c"
#define INITIAL 0
#define INITIAL 0
@@
-569,11
+577,11
@@
void xbt_automaton_parser_set_extra (YY_EXTRA_TYPE user_defined );
FILE *xbt_automaton_parser_get_in (void );
FILE *xbt_automaton_parser_get_in (void );
-void xbt_automaton_parser_set_in (FILE * in_str );
+void xbt_automaton_parser_set_in (FILE *
_
in_str );
FILE *xbt_automaton_parser_get_out (void );
FILE *xbt_automaton_parser_get_out (void );
-void xbt_automaton_parser_set_out (FILE * out_str );
+void xbt_automaton_parser_set_out (FILE *
_
out_str );
yy_size_t xbt_automaton_parser_get_leng (void );
yy_size_t xbt_automaton_parser_get_leng (void );
@@
-581,7
+589,7
@@
char *xbt_automaton_parser_get_text (void );
int xbt_automaton_parser_get_lineno (void );
int xbt_automaton_parser_get_lineno (void );
-void xbt_automaton_parser_set_lineno (int line_number );
+void xbt_automaton_parser_set_lineno (int
_
line_number );
/* Macros after this point can all be overridden by user definitions in
* section 1.
/* Macros after this point can all be overridden by user definitions in
* section 1.
@@
-595,7
+603,11
@@
extern int xbt_automaton_parser_wrap (void );
#endif
#endif
#endif
#endif
+#ifndef YY_NO_UNPUT
+
static void yyunput (int c,char *buf_ptr );
static void yyunput (int c,char *buf_ptr );
+
+#endif
#ifndef yytext_ptr
static void yy_flex_strncpy (char *,yyconst char *,int );
#ifndef yytext_ptr
static void yy_flex_strncpy (char *,yyconst char *,int );
@@
-709,7
+721,7
@@
extern int xbt_automaton_parser_lex (void);
/* Code executed at the end of each rule. */
#ifndef YY_BREAK
/* Code executed at the end of each rule. */
#ifndef YY_BREAK
-#define YY_BREAK break;
+#define YY_BREAK
/*LINTED*/
break;
#endif
#define YY_RULE_SETUP \
#endif
#define YY_RULE_SETUP \
@@
-722,7
+734,7
@@
YY_DECL
yy_state_type yy_current_state;
char *yy_cp, *yy_bp;
int yy_act;
yy_state_type yy_current_state;
char *yy_cp, *yy_bp;
int yy_act;
-
+
if ( !(yy_init) )
{
(yy_init) = 1;
if ( !(yy_init) )
{
(yy_init) = 1;
@@
-750,12
+762,12
@@
YY_DECL
}
{
}
{
-#line 3
4
"parserPromela.lex"
+#line 3
8
"parserPromela.lex"
-#line 7
55
"automaton_lexer.yy.c"
+#line 7
69
"automaton_lexer.yy.c"
- while (
1 )
/* loops until end-of-file is reached */
+ while (
/*CONSTCOND*/1 )
/* loops until end-of-file is reached */
{
yy_cp = (yy_c_buf_p);
{
yy_cp = (yy_c_buf_p);
@@
-812,118
+824,118
@@
do_action: /* This label is used only to access EOF actions. */
case 1:
YY_RULE_SETUP
case 1:
YY_RULE_SETUP
-#line
36
"parserPromela.lex"
+#line
40
"parserPromela.lex"
{ return (NEVER); }
YY_BREAK
case 2:
YY_RULE_SETUP
{ return (NEVER); }
YY_BREAK
case 2:
YY_RULE_SETUP
-#line
37
"parserPromela.lex"
+#line
41
"parserPromela.lex"
{ return (IF); }
YY_BREAK
case 3:
YY_RULE_SETUP
{ return (IF); }
YY_BREAK
case 3:
YY_RULE_SETUP
-#line
38
"parserPromela.lex"
+#line
42
"parserPromela.lex"
{ return (FI); }
YY_BREAK
case 4:
YY_RULE_SETUP
{ return (FI); }
YY_BREAK
case 4:
YY_RULE_SETUP
-#line
39
"parserPromela.lex"
+#line
43
"parserPromela.lex"
{ return (IMPLIES); }
YY_BREAK
case 5:
YY_RULE_SETUP
{ return (IMPLIES); }
YY_BREAK
case 5:
YY_RULE_SETUP
-#line 4
0
"parserPromela.lex"
+#line 4
4
"parserPromela.lex"
{ return (GOTO); }
YY_BREAK
case 6:
YY_RULE_SETUP
{ return (GOTO); }
YY_BREAK
case 6:
YY_RULE_SETUP
-#line 4
1
"parserPromela.lex"
+#line 4
5
"parserPromela.lex"
{ return (AND); }
YY_BREAK
case 7:
YY_RULE_SETUP
{ return (AND); }
YY_BREAK
case 7:
YY_RULE_SETUP
-#line 4
2
"parserPromela.lex"
+#line 4
6
"parserPromela.lex"
{ return (OR); }
YY_BREAK
case 8:
YY_RULE_SETUP
{ return (OR); }
YY_BREAK
case 8:
YY_RULE_SETUP
-#line 4
3
"parserPromela.lex"
+#line 4
7
"parserPromela.lex"
{ return (NOT); }
YY_BREAK
case 9:
YY_RULE_SETUP
{ return (NOT); }
YY_BREAK
case 9:
YY_RULE_SETUP
-#line 4
4
"parserPromela.lex"
+#line 4
8
"parserPromela.lex"
{ return (LEFT_PAR); }
YY_BREAK
case 10:
YY_RULE_SETUP
{ return (LEFT_PAR); }
YY_BREAK
case 10:
YY_RULE_SETUP
-#line 4
5
"parserPromela.lex"
+#line 4
9
"parserPromela.lex"
{ return (RIGHT_PAR); }
YY_BREAK
case 11:
YY_RULE_SETUP
{ return (RIGHT_PAR); }
YY_BREAK
case 11:
YY_RULE_SETUP
-#line
46
"parserPromela.lex"
+#line
50
"parserPromela.lex"
{ return (CASE); }
YY_BREAK
case 12:
YY_RULE_SETUP
{ return (CASE); }
YY_BREAK
case 12:
YY_RULE_SETUP
-#line
47
"parserPromela.lex"
+#line
51
"parserPromela.lex"
{ return (COLON); }
YY_BREAK
case 13:
YY_RULE_SETUP
{ return (COLON); }
YY_BREAK
case 13:
YY_RULE_SETUP
-#line
48
"parserPromela.lex"
+#line
52
"parserPromela.lex"
{ return (SEMI_COLON); }
YY_BREAK
case 14:
YY_RULE_SETUP
{ return (SEMI_COLON); }
YY_BREAK
case 14:
YY_RULE_SETUP
-#line
49
"parserPromela.lex"
+#line
53
"parserPromela.lex"
{ return (CASE_TRUE); }
YY_BREAK
case 15:
YY_RULE_SETUP
{ return (CASE_TRUE); }
YY_BREAK
case 15:
YY_RULE_SETUP
-#line 5
0
"parserPromela.lex"
+#line 5
4
"parserPromela.lex"
{ return (LEFT_BRACE); }
YY_BREAK
case 16:
YY_RULE_SETUP
{ return (LEFT_BRACE); }
YY_BREAK
case 16:
YY_RULE_SETUP
-#line 5
1
"parserPromela.lex"
+#line 5
5
"parserPromela.lex"
{ return (RIGHT_BRACE); }
YY_BREAK
case 17:
/* rule 17 can match eol */
YY_RULE_SETUP
{ return (RIGHT_BRACE); }
YY_BREAK
case 17:
/* rule 17 can match eol */
YY_RULE_SETUP
-#line 5
4
"parserPromela.lex"
+#line 5
8
"parserPromela.lex"
{ }
YY_BREAK
case 18:
YY_RULE_SETUP
{ }
YY_BREAK
case 18:
YY_RULE_SETUP
-#line
56
"parserPromela.lex"
+#line
60
"parserPromela.lex"
{ }
YY_BREAK
case 19:
YY_RULE_SETUP
{ }
YY_BREAK
case 19:
YY_RULE_SETUP
-#line
59
"parserPromela.lex"
-{ sscanf(xbt_automaton_parser_text,"%lf",&yylval.real);
+#line
63
"parserPromela.lex"
+{ sscanf(xbt_automaton_parser_text,"%lf",&yylval.real);
return (LITT_REEL); }
YY_BREAK
case 20:
YY_RULE_SETUP
return (LITT_REEL); }
YY_BREAK
case 20:
YY_RULE_SETUP
-#line 6
2
"parserPromela.lex"
-{ sscanf(xbt_automaton_parser_text,"%d",&yylval.integer);
+#line 6
6
"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
return (LITT_ENT); }
YY_BREAK
case 21:
/* rule 21 can match eol */
YY_RULE_SETUP
-#line 6
5
"parserPromela.lex"
+#line 6
9
"parserPromela.lex"
{ yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
{ yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
- sscanf(xbt_automaton_parser_text,"%s",yylval.string);
+ sscanf(xbt_automaton_parser_text,"%s",yylval.string);
return (LITT_CHAINE); }
YY_BREAK
case 22:
YY_RULE_SETUP
return (LITT_CHAINE); }
YY_BREAK
case 22:
YY_RULE_SETUP
-#line
69
"parserPromela.lex"
+#line
73
"parserPromela.lex"
{ yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
sscanf(xbt_automaton_parser_text,"%s",yylval.string);
return (ID); }
{ yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
sscanf(xbt_automaton_parser_text,"%s",yylval.string);
return (ID); }
@@
-931,20
+943,20
@@
YY_RULE_SETUP
case 23:
/* rule 23 can match eol */
YY_RULE_SETUP
case 23:
/* rule 23 can match eol */
YY_RULE_SETUP
-#line 7
3
"parserPromela.lex"
+#line 7
7
"parserPromela.lex"
{ }
YY_BREAK
case 24:
YY_RULE_SETUP
{ }
YY_BREAK
case 24:
YY_RULE_SETUP
-#line 7
5
"parserPromela.lex"
+#line 7
9
"parserPromela.lex"
{ }
YY_BREAK
case 25:
YY_RULE_SETUP
{ }
YY_BREAK
case 25:
YY_RULE_SETUP
-#line
77
"parserPromela.lex"
+#line
81
"parserPromela.lex"
ECHO;
YY_BREAK
ECHO;
YY_BREAK
-#line 9
46
"automaton_lexer.yy.c"
+#line 9
60
"automaton_lexer.yy.c"
case YY_STATE_EOF(INITIAL):
yyterminate();
case YY_STATE_EOF(INITIAL):
yyterminate();
@@
-1089,7
+1101,7
@@
static int yy_get_next_buffer (void)
{
char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
char *source = (yytext_ptr);
{
char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
char *source = (yytext_ptr);
-
in
t number_to_move, i;
+
yy_size_
t number_to_move, i;
int ret_val;
if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
int ret_val;
if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
@@
-1118,7
+1130,7
@@
static int yy_get_next_buffer (void)
/* Try to read more data. */
/* First move last chars to start of buffer. */
/* Try to read more data. */
/* First move last chars to start of buffer. */
- number_to_move = (
in
t) ((yy_c_buf_p) - (yytext_ptr)) - 1;
+ number_to_move = (
yy_size_
t) ((yy_c_buf_p) - (yytext_ptr)) - 1;
for ( i = 0; i < number_to_move; ++i )
*(dest++) = *(source++);
for ( i = 0; i < number_to_move; ++i )
*(dest++) = *(source++);
@@
-1200,9
+1212,9
@@
static int yy_get_next_buffer (void)
else
ret_val = EOB_ACT_CONTINUE_SCAN;
else
ret_val = EOB_ACT_CONTINUE_SCAN;
- if ((
yy_size_
t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
+ if ((
in
t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
/* Extend the array by 50%, plus the number we really need. */
/* Extend the array by 50%, plus the number we really need. */
-
yy_size_
t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
+
in
t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) xbt_automaton_parser_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) xbt_automaton_parser_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
@@
-1223,7
+1235,7
@@
static int yy_get_next_buffer (void)
{
yy_state_type yy_current_state;
char *yy_cp;
{
yy_state_type yy_current_state;
char *yy_cp;
-
+
yy_current_state = (yy_start);
for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
yy_current_state = (yy_start);
for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
@@
-1274,10
+1286,12
@@
static int yy_get_next_buffer (void)
return yy_is_jam ? 0 : yy_current_state;
}
return yy_is_jam ? 0 : yy_current_state;
}
+#ifndef YY_NO_UNPUT
+
static void yyunput (int c, char * yy_bp )
{
char *yy_cp;
static void yyunput (int c, char * yy_bp )
{
char *yy_cp;
-
+
yy_cp = (yy_c_buf_p);
/* undo effects of setting up xbt_automaton_parser_text */
yy_cp = (yy_c_buf_p);
/* undo effects of setting up xbt_automaton_parser_text */
@@
-1311,6
+1325,8
@@
static int yy_get_next_buffer (void)
(yy_c_buf_p) = yy_cp;
}
(yy_c_buf_p) = yy_cp;
}
+#endif
+
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput (void)
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput (void)
@@
-1320,7
+1336,7
@@
static int yy_get_next_buffer (void)
{
int c;
{
int c;
-
+
*(yy_c_buf_p) = (yy_hold_char);
if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
*(yy_c_buf_p) = (yy_hold_char);
if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
@@
-1387,12
+1403,12
@@
static int yy_get_next_buffer (void)
/** Immediately switch to a different input stream.
* @param input_file A readable stream.
/** Immediately switch to a different input stream.
* @param input_file A readable stream.
- *
+ *
* @note This function does not reset the start condition to @c INITIAL .
*/
void xbt_automaton_parser_restart (FILE * input_file )
{
* @note This function does not reset the start condition to @c INITIAL .
*/
void xbt_automaton_parser_restart (FILE * input_file )
{
-
+
if ( ! YY_CURRENT_BUFFER ){
xbt_automaton_parser_ensure_buffer_stack ();
YY_CURRENT_BUFFER_LVALUE =
if ( ! YY_CURRENT_BUFFER ){
xbt_automaton_parser_ensure_buffer_stack ();
YY_CURRENT_BUFFER_LVALUE =
@@
-1405,11
+1421,11
@@
static int yy_get_next_buffer (void)
/** Switch to a different input buffer.
* @param new_buffer The new input buffer.
/** Switch to a different input buffer.
* @param new_buffer The new input buffer.
- *
+ *
*/
void xbt_automaton_parser__switch_to_buffer (YY_BUFFER_STATE new_buffer )
{
*/
void xbt_automaton_parser__switch_to_buffer (YY_BUFFER_STATE new_buffer )
{
-
+
/* TODO. We should be able to replace this entire function body
* with
* xbt_automaton_parser_pop_buffer_state();
/* TODO. We should be able to replace this entire function body
* with
* xbt_automaton_parser_pop_buffer_state();
@@
-1449,18
+1465,18
@@
static void xbt_automaton_parser__load_buffer_state (void)
/** Allocate and initialize an input buffer state.
* @param file A readable stream.
* @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
/** Allocate and initialize an input buffer state.
* @param file A readable stream.
* @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
- *
+ *
* @return the allocated buffer state.
*/
YY_BUFFER_STATE xbt_automaton_parser__create_buffer (FILE * file, int size )
{
YY_BUFFER_STATE b;
* @return the allocated buffer state.
*/
YY_BUFFER_STATE xbt_automaton_parser__create_buffer (FILE * file, int size )
{
YY_BUFFER_STATE b;
-
+
b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
b = (YY_BUFFER_STATE) xbt_automaton_parser_alloc(sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser__create_buffer()" );
- b->yy_buf_size = size;
+ b->yy_buf_size =
(yy_size_t)
size;
/* yy_ch_buf has to be 2 characters longer than the size given because
* we need to put in 2 end-of-buffer characters.
/* yy_ch_buf has to be 2 characters longer than the size given because
* we need to put in 2 end-of-buffer characters.
@@
-1478,11
+1494,11
@@
static void xbt_automaton_parser__load_buffer_state (void)
/** Destroy the buffer.
* @param b a buffer created with xbt_automaton_parser__create_buffer()
/** Destroy the buffer.
* @param b a buffer created with xbt_automaton_parser__create_buffer()
- *
+ *
*/
void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE b )
{
*/
void xbt_automaton_parser__delete_buffer (YY_BUFFER_STATE b )
{
-
+
if ( ! b )
return;
if ( ! b )
return;
@@
-1503,7
+1519,7
@@
static void xbt_automaton_parser__load_buffer_state (void)
{
int oerrno = errno;
{
int oerrno = errno;
-
+
xbt_automaton_parser__flush_buffer(b );
b->yy_input_file = file;
xbt_automaton_parser__flush_buffer(b );
b->yy_input_file = file;
@@
-1519,13
+1535,13
@@
static void xbt_automaton_parser__load_buffer_state (void)
}
b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
}
b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
-
+
errno = oerrno;
}
/** Discard all buffered characters. On the next scan, YY_INPUT will be called.
* @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
errno = oerrno;
}
/** Discard all buffered characters. On the next scan, YY_INPUT will be called.
* @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
- *
+ *
*/
void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE b )
{
*/
void xbt_automaton_parser__flush_buffer (YY_BUFFER_STATE b )
{
@@
-1554,7
+1570,7
@@
static void xbt_automaton_parser__load_buffer_state (void)
* the current state. This function will allocate the stack
* if necessary.
* @param new_buffer The new state.
* the current state. This function will allocate the stack
* if necessary.
* @param new_buffer The new state.
- *
+ *
*/
void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )
{
*/
void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )
{
@@
-1584,7
+1600,7
@@
void xbt_automaton_parser_push_buffer_state (YY_BUFFER_STATE new_buffer )
/** Removes and deletes the top of the stack, if present.
* The next element becomes the new top.
/** Removes and deletes the top of the stack, if present.
* The next element becomes the new top.
- *
+ *
*/
void xbt_automaton_parser_pop_buffer_state (void)
{
*/
void xbt_automaton_parser_pop_buffer_state (void)
{
@@
-1608,22
+1624,22
@@
void xbt_automaton_parser_pop_buffer_state (void)
static void xbt_automaton_parser_ensure_buffer_stack (void)
{
yy_size_t num_to_alloc;
static void xbt_automaton_parser_ensure_buffer_stack (void)
{
yy_size_t num_to_alloc;
-
+
if (!(yy_buffer_stack)) {
/* First allocation is just for 2 elements, since we don't know if this
* scanner will even need a stack. We use 2 instead of 1 to avoid an
* immediate realloc on the next call.
*/
if (!(yy_buffer_stack)) {
/* First allocation is just for 2 elements, since we don't know if this
* scanner will even need a stack. We use 2 instead of 1 to avoid an
* immediate realloc on the next call.
*/
- num_to_alloc = 1;
+ num_to_alloc = 1;
/* After all that talk, this was set to 1 anyways... */
(yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_alloc
(num_to_alloc * sizeof(struct yy_buffer_state*)
);
if ( ! (yy_buffer_stack) )
YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
(yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_alloc
(num_to_alloc * sizeof(struct yy_buffer_state*)
);
if ( ! (yy_buffer_stack) )
YY_FATAL_ERROR( "out of dynamic memory in xbt_automaton_parser_ensure_buffer_stack()" );
-
+
memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
-
+
(yy_buffer_stack_max) = num_to_alloc;
(yy_buffer_stack_top) = 0;
return;
(yy_buffer_stack_max) = num_to_alloc;
(yy_buffer_stack_top) = 0;
return;
@@
-1632,7
+1648,7
@@
static void xbt_automaton_parser_ensure_buffer_stack (void)
if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
/* Increase the buffer to prepare for a possible push. */
if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
/* Increase the buffer to prepare for a possible push. */
-
in
t grow_size = 8 /* arbitrary grow size */;
+
yy_size_
t grow_size = 8 /* arbitrary grow size */;
num_to_alloc = (yy_buffer_stack_max) + grow_size;
(yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_realloc
num_to_alloc = (yy_buffer_stack_max) + grow_size;
(yy_buffer_stack) = (struct yy_buffer_state**)xbt_automaton_parser_realloc
@@
-1651,13
+1667,13
@@
static void xbt_automaton_parser_ensure_buffer_stack (void)
/** Setup the input buffer state to scan directly from a user-specified character buffer.
* @param base the character buffer
* @param size the size in bytes of the character buffer
/** Setup the input buffer state to scan directly from a user-specified character buffer.
* @param base the character buffer
* @param size the size in bytes of the character buffer
- *
- * @return the newly allocated buffer state object.
+ *
+ * @return the newly allocated buffer state object.
*/
YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char * base, yy_size_t size )
{
YY_BUFFER_STATE b;
*/
YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char * base, yy_size_t size )
{
YY_BUFFER_STATE b;
-
+
if ( size < 2 ||
base[size-2] != YY_END_OF_BUFFER_CHAR ||
base[size-1] != YY_END_OF_BUFFER_CHAR )
if ( size < 2 ||
base[size-2] != YY_END_OF_BUFFER_CHAR ||
base[size-1] != YY_END_OF_BUFFER_CHAR )
@@
-1686,14
+1702,14
@@
YY_BUFFER_STATE xbt_automaton_parser__scan_buffer (char * base, yy_size_t size
/** Setup the input buffer state to scan a string. The next call to xbt_automaton_parser_lex() will
* scan from a @e copy of @a str.
* @param yystr a NUL-terminated string to scan
/** Setup the input buffer state to scan a string. The next call to xbt_automaton_parser_lex() will
* scan from a @e copy of @a str.
* @param yystr a NUL-terminated string to scan
- *
+ *
* @return the newly allocated buffer state object.
* @note If you want to scan bytes that may contain NUL values, then use
* xbt_automaton_parser__scan_bytes() instead.
*/
YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )
{
* @return the newly allocated buffer state object.
* @note If you want to scan bytes that may contain NUL values, then use
* xbt_automaton_parser__scan_bytes() instead.
*/
YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )
{
-
+
return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) );
}
return xbt_automaton_parser__scan_bytes(yystr,strlen(yystr) );
}
@@
-1701,7
+1717,7
@@
YY_BUFFER_STATE xbt_automaton_parser__scan_string (yyconst char * yystr )
* scan from a @e copy of @a bytes.
* @param yybytes the byte buffer to scan
* @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
* scan from a @e copy of @a bytes.
* @param yybytes the byte buffer to scan
* @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
- *
+ *
* @return the newly allocated buffer state object.
*/
YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
* @return the newly allocated buffer state object.
*/
YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
@@
-1710,7
+1726,7
@@
YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char * yybytes, yy_si
char *buf;
yy_size_t n;
yy_size_t i;
char *buf;
yy_size_t n;
yy_size_t i;
-
+
/* Get memory for full buffer, including space for trailing EOB's. */
n = _yybytes_len + 2;
buf = (char *) xbt_automaton_parser_alloc(n );
/* Get memory for full buffer, including space for trailing EOB's. */
n = _yybytes_len + 2;
buf = (char *) xbt_automaton_parser_alloc(n );
@@
-1740,7
+1756,7
@@
YY_BUFFER_STATE xbt_automaton_parser__scan_bytes (yyconst char * yybytes, yy_si
static void yy_fatal_error (yyconst char* msg )
{
static void yy_fatal_error (yyconst char* msg )
{
- (void) fprintf( stderr, "%s\n", msg );
+
(void) fprintf( stderr, "%s\n", msg );
exit( YY_EXIT_FAILURE );
}
exit( YY_EXIT_FAILURE );
}
@@
-1764,16
+1780,16
@@
static void yy_fatal_error (yyconst char* msg )
/* Accessor methods (get/set functions) to struct members. */
/** Get the current line number.
/* Accessor methods (get/set functions) to struct members. */
/** Get the current line number.
- *
+ *
*/
int xbt_automaton_parser_get_lineno (void)
{
*/
int xbt_automaton_parser_get_lineno (void)
{
-
+
return xbt_automaton_parser_lineno;
}
/** Get the input stream.
return xbt_automaton_parser_lineno;
}
/** Get the input stream.
- *
+ *
*/
FILE *xbt_automaton_parser_get_in (void)
{
*/
FILE *xbt_automaton_parser_get_in (void)
{
@@
-1781,7
+1797,7
@@
FILE *xbt_automaton_parser_get_in (void)
}
/** Get the output stream.
}
/** Get the output stream.
- *
+ *
*/
FILE *xbt_automaton_parser_get_out (void)
{
*/
FILE *xbt_automaton_parser_get_out (void)
{
@@
-1789,7
+1805,7
@@
FILE *xbt_automaton_parser_get_out (void)
}
/** Get the length of the current token.
}
/** Get the length of the current token.
- *
+ *
*/
yy_size_t xbt_automaton_parser_get_leng (void)
{
*/
yy_size_t xbt_automaton_parser_get_leng (void)
{
@@
-1797,7
+1813,7
@@
yy_size_t xbt_automaton_parser_get_leng (void)
}
/** Get the current token.
}
/** Get the current token.
- *
+ *
*/
char *xbt_automaton_parser_get_text (void)
*/
char *xbt_automaton_parser_get_text (void)
@@
-1806,29
+1822,29
@@
char *xbt_automaton_parser_get_text (void)
}
/** Set the current line number.
}
/** Set the current line number.
- * @param
line_
number
- *
+ * @param
_line_number line
number
+ *
*/
*/
-void xbt_automaton_parser_set_lineno (int line_number )
+void xbt_automaton_parser_set_lineno (int
_
line_number )
{
{
-
- xbt_automaton_parser_lineno = line_number;
+
+ xbt_automaton_parser_lineno =
_
line_number;
}
/** Set the input stream. This does not discard the current
* input buffer.
}
/** Set the input stream. This does not discard the current
* input buffer.
- * @param in_str A readable stream.
- *
+ * @param
_
in_str A readable stream.
+ *
* @see xbt_automaton_parser__switch_to_buffer
*/
* @see xbt_automaton_parser__switch_to_buffer
*/
-void xbt_automaton_parser_set_in (FILE * in_str )
+void xbt_automaton_parser_set_in (FILE *
_
in_str )
{
{
- xbt_automaton_parser_in = in_str ;
+ xbt_automaton_parser_in =
_
in_str ;
}
}
-void xbt_automaton_parser_set_out (FILE * out_str )
+void xbt_automaton_parser_set_out (FILE *
_
out_str )
{
{
- xbt_automaton_parser_out = out_str ;
+ xbt_automaton_parser_out =
_
out_str ;
}
int xbt_automaton_parser_get_debug (void)
}
int xbt_automaton_parser_get_debug (void)
@@
-1836,9
+1852,9
@@
int xbt_automaton_parser_get_debug (void)
return xbt_automaton_parser__flex_debug;
}
return xbt_automaton_parser__flex_debug;
}
-void xbt_automaton_parser_set_debug (int bdebug )
+void xbt_automaton_parser_set_debug (int
_
bdebug )
{
{
- xbt_automaton_parser__flex_debug = bdebug ;
+ xbt_automaton_parser__flex_debug =
_
bdebug ;
}
static int yy_init_globals (void)
}
static int yy_init_globals (void)
@@
-1872,7
+1888,7
@@
static int yy_init_globals (void)
/* xbt_automaton_parser_lex_destroy is for both reentrant and non-reentrant scanners. */
int xbt_automaton_parser_lex_destroy (void)
{
/* xbt_automaton_parser_lex_destroy is for both reentrant and non-reentrant scanners. */
int xbt_automaton_parser_lex_destroy (void)
{
-
+
/* Pop the buffer stack, destroying each element. */
while(YY_CURRENT_BUFFER){
xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER );
/* Pop the buffer stack, destroying each element. */
while(YY_CURRENT_BUFFER){
xbt_automaton_parser__delete_buffer(YY_CURRENT_BUFFER );
@@
-1898,6
+1914,7
@@
int xbt_automaton_parser_lex_destroy (void)
#ifndef yytext_ptr
static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
{
#ifndef yytext_ptr
static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
{
+
int i;
for ( i = 0; i < n; ++i )
s1[i] = s2[i];
int i;
for ( i = 0; i < n; ++i )
s1[i] = s2[i];
@@
-1917,11
+1934,12
@@
static int yy_flex_strlen (yyconst char * s )
void *xbt_automaton_parser_alloc (yy_size_t size )
{
void *xbt_automaton_parser_alloc (yy_size_t size )
{
- return (void *) malloc( size );
+
return (void *) malloc( size );
}
void *xbt_automaton_parser_realloc (void * ptr, yy_size_t size )
{
}
void *xbt_automaton_parser_realloc (void * ptr, yy_size_t size )
{
+
/* The cast to (char *) in the following accommodates both
* implementations that use char* generic pointers, and those
* that use void* generic pointers. It works with the latter
/* The cast to (char *) in the following accommodates both
* implementations that use char* generic pointers, and those
* that use void* generic pointers. It works with the latter
@@
-1934,12
+1952,12
@@
void *xbt_automaton_parser_realloc (void * ptr, yy_size_t size )
void xbt_automaton_parser_free (void * ptr )
{
void xbt_automaton_parser_free (void * ptr )
{
- free( (char *) ptr ); /* see xbt_automaton_parser_realloc() for (char *) cast */
+
free( (char *) ptr ); /* see xbt_automaton_parser_realloc() for (char *) cast */
}
#define YYTABLES_NAME "yytables"
}
#define YYTABLES_NAME "yytables"
-#line
76
"parserPromela.lex"
+#line
81
"parserPromela.lex"