|
version 1.1.1.1, 2012/02/21 22:39:10
|
version 1.1.1.2, 2014/06/15 16:37:11
|
|
Line 8
|
Line 8
|
| #define FLEX_SCANNER |
#define FLEX_SCANNER |
| #define YY_FLEX_MAJOR_VERSION 2 |
#define YY_FLEX_MAJOR_VERSION 2 |
| #define YY_FLEX_MINOR_VERSION 5 |
#define YY_FLEX_MINOR_VERSION 5 |
| #define YY_FLEX_SUBMINOR_VERSION 35 | #define YY_FLEX_SUBMINOR_VERSION 37 |
| #if YY_FLEX_SUBMINOR_VERSION > 0 |
#if YY_FLEX_SUBMINOR_VERSION > 0 |
| #define FLEX_BETA |
#define FLEX_BETA |
| #endif |
#endif |
|
Line 141 typedef unsigned int flex_uint32_t;
|
Line 141 typedef unsigned int flex_uint32_t;
|
| |
|
| /* Size of default input buffer. */ |
/* Size of default input buffer. */ |
| #ifndef YY_BUF_SIZE |
#ifndef YY_BUF_SIZE |
| #ifdef __ia64__ |
|
| /* On IA-64, the buffer size is 16k, not 8k. |
|
| * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case. |
|
| * Ditto for the __ia64__ case accordingly. |
|
| */ |
|
| #define YY_BUF_SIZE 32768 |
|
| #else |
|
| #define YY_BUF_SIZE 16384 |
#define YY_BUF_SIZE 16384 |
| #endif /* __ia64__ */ |
|
| #endif |
#endif |
| |
|
| /* The state buf must be large enough to hold one state per character in the main buffer. |
/* The state buf must be large enough to hold one state per character in the main buffer. |
|
Line 161 typedef unsigned int flex_uint32_t;
|
Line 153 typedef unsigned int flex_uint32_t;
|
| typedef struct yy_buffer_state *YY_BUFFER_STATE; |
typedef struct yy_buffer_state *YY_BUFFER_STATE; |
| #endif |
#endif |
| |
|
| extern int yyleng; | #ifndef YY_TYPEDEF_YY_SIZE_T |
| | #define YY_TYPEDEF_YY_SIZE_T |
| | typedef size_t yy_size_t; |
| | #endif |
| |
|
| |
extern yy_size_t yyleng; |
| |
|
| extern FILE *yyin, *yyout; |
extern FILE *yyin, *yyout; |
| |
|
| #define EOB_ACT_CONTINUE_SCAN 0 |
#define EOB_ACT_CONTINUE_SCAN 0 |
|
Line 187 extern FILE *yyin, *yyout;
|
Line 184 extern FILE *yyin, *yyout;
|
| |
|
| #define unput(c) yyunput( c, (yytext_ptr) ) |
#define unput(c) yyunput( c, (yytext_ptr) ) |
| |
|
| #ifndef YY_TYPEDEF_YY_SIZE_T |
|
| #define YY_TYPEDEF_YY_SIZE_T |
|
| typedef size_t yy_size_t; |
|
| #endif |
|
| |
|
| #ifndef YY_STRUCT_YY_BUFFER_STATE |
#ifndef YY_STRUCT_YY_BUFFER_STATE |
| #define YY_STRUCT_YY_BUFFER_STATE |
#define YY_STRUCT_YY_BUFFER_STATE |
| struct yy_buffer_state |
struct yy_buffer_state |
|
Line 209 struct yy_buffer_state
|
Line 201 struct yy_buffer_state
|
| /* Number of characters read into yy_ch_buf, not including EOB |
/* Number of characters read into yy_ch_buf, not including EOB |
| * characters. |
* characters. |
| */ |
*/ |
| int yy_n_chars; | yy_size_t yy_n_chars; |
| |
|
| /* Whether we "own" the buffer - i.e., we know we created it, |
/* Whether we "own" the buffer - i.e., we know we created it, |
| * and can realloc() it to grow it, and should free() it to |
* and can realloc() it to grow it, and should free() it to |
|
Line 279 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Sta
|
Line 271 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Sta
|
| |
|
| /* yy_hold_char holds the character lost when yytext is formed. */ |
/* yy_hold_char holds the character lost when yytext is formed. */ |
| static char yy_hold_char; |
static char yy_hold_char; |
| static int yy_n_chars; /* number of characters read into yy_ch_buf */ | static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */ |
| int yyleng; | yy_size_t yyleng; |
| |
|
| /* Points to current character in buffer. */ |
/* Points to current character in buffer. */ |
| static char *yy_c_buf_p = (char *) 0; |
static char *yy_c_buf_p = (char *) 0; |
|
Line 308 static void yy_init_buffer (YY_BUFFER_STATE b,FILE *fi
|
Line 300 static void yy_init_buffer (YY_BUFFER_STATE b,FILE *fi
|
| |
|
| YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size ); |
YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size ); |
| YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str ); |
YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str ); |
| YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,int len ); | YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,yy_size_t len ); |
| |
|
| void *yyalloc (yy_size_t ); |
void *yyalloc (yy_size_t ); |
| void *yyrealloc (void *,yy_size_t ); |
void *yyrealloc (void *,yy_size_t ); |
|
Line 1087 char *yytext;
|
Line 1079 char *yytext;
|
| /* common section */ |
/* common section */ |
| |
|
| #define YY_NO_INPUT 1 |
#define YY_NO_INPUT 1 |
| #line 1091 "token.c" | #line 1083 "token.c" |
| |
|
| #define INITIAL 0 |
#define INITIAL 0 |
| #define S_PL 1 |
#define S_PL 1 |
|
Line 1129 FILE *yyget_out (void );
|
Line 1121 FILE *yyget_out (void );
|
| |
|
| void yyset_out (FILE * out_str ); |
void yyset_out (FILE * out_str ); |
| |
|
| int yyget_leng (void ); | yy_size_t yyget_leng (void ); |
| |
|
| char *yyget_text (void ); |
char *yyget_text (void ); |
| |
|
|
Line 1169 static int input (void );
|
Line 1161 static int input (void );
|
| |
|
| /* Amount of stuff to slurp up with each read. */ |
/* Amount of stuff to slurp up with each read. */ |
| #ifndef YY_READ_BUF_SIZE |
#ifndef YY_READ_BUF_SIZE |
| #ifdef __ia64__ |
|
| /* On IA-64, the buffer size is 16k, not 8k */ |
|
| #define YY_READ_BUF_SIZE 16384 |
|
| #else |
|
| #define YY_READ_BUF_SIZE 8192 |
#define YY_READ_BUF_SIZE 8192 |
| #endif /* __ia64__ */ |
|
| #endif |
#endif |
| |
|
| /* Copy whatever the last rule matched to the standard output. */ |
/* Copy whatever the last rule matched to the standard output. */ |
|
Line 1279 YY_DECL
|
Line 1266 YY_DECL
|
| |
|
| |
|
| |
|
| #line 1283 "token.c" | #line 1270 "token.c" |
| |
|
| if ( !(yy_init) ) |
if ( !(yy_init) ) |
| { |
{ |
|
Line 1912 YY_RULE_SETUP
|
Line 1899 YY_RULE_SETUP
|
| #line 314 "token.l" |
#line 314 "token.l" |
| ECHO; |
ECHO; |
| YY_BREAK |
YY_BREAK |
| #line 1916 "token.c" | #line 1903 "token.c" |
| case YY_STATE_EOF(INITIAL): |
case YY_STATE_EOF(INITIAL): |
| case YY_STATE_EOF(S_PL): |
case YY_STATE_EOF(S_PL): |
| case YY_STATE_EOF(S_AUTHALG): |
case YY_STATE_EOF(S_AUTHALG): |
|
Line 2101 static int yy_get_next_buffer (void)
|
Line 2088 static int yy_get_next_buffer (void)
|
| |
|
| else |
else |
| { |
{ |
| int num_to_read = | yy_size_t num_to_read = |
| YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1; |
YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1; |
| |
|
| while ( num_to_read <= 0 ) |
while ( num_to_read <= 0 ) |
| { /* Not enough room in the buffer - grow it. */ |
{ /* Not enough room in the buffer - grow it. */ |
| |
|
| /* just a shorter name for the current buffer */ |
/* just a shorter name for the current buffer */ |
| YY_BUFFER_STATE b = YY_CURRENT_BUFFER; | YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE; |
| |
|
| int yy_c_buf_p_offset = |
int yy_c_buf_p_offset = |
| (int) ((yy_c_buf_p) - b->yy_ch_buf); |
(int) ((yy_c_buf_p) - b->yy_ch_buf); |
| |
|
| if ( b->yy_is_our_buffer ) |
if ( b->yy_is_our_buffer ) |
| { |
{ |
| int new_size = b->yy_buf_size * 2; | yy_size_t new_size = b->yy_buf_size * 2; |
| |
|
| if ( new_size <= 0 ) |
if ( new_size <= 0 ) |
| b->yy_buf_size += b->yy_buf_size / 8; |
b->yy_buf_size += b->yy_buf_size / 8; |
|
Line 2146 static int yy_get_next_buffer (void)
|
Line 2133 static int yy_get_next_buffer (void)
|
| |
|
| /* Read in more data. */ |
/* Read in more data. */ |
| YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]), |
YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]), |
| (yy_n_chars), (size_t) num_to_read ); | (yy_n_chars), num_to_read ); |
| |
|
| YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars); |
YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars); |
| } |
} |
|
Line 2241 static int yy_get_next_buffer (void)
|
Line 2228 static int yy_get_next_buffer (void)
|
| yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; |
yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; |
| yy_is_jam = (yy_current_state == 563); |
yy_is_jam = (yy_current_state == 563); |
| |
|
| return yy_is_jam ? 0 : yy_current_state; | return yy_is_jam ? 0 : yy_current_state; |
| } |
} |
| |
|
| #ifndef YY_NO_INPUT |
#ifndef YY_NO_INPUT |
|
Line 2268 static int yy_get_next_buffer (void)
|
Line 2255 static int yy_get_next_buffer (void)
|
| |
|
| else |
else |
| { /* need more input */ |
{ /* need more input */ |
| int offset = (yy_c_buf_p) - (yytext_ptr); | yy_size_t offset = (yy_c_buf_p) - (yytext_ptr); |
| ++(yy_c_buf_p); |
++(yy_c_buf_p); |
| |
|
| switch ( yy_get_next_buffer( ) ) |
switch ( yy_get_next_buffer( ) ) |
|
Line 2428 static void yy_load_buffer_state (void)
|
Line 2415 static void yy_load_buffer_state (void)
|
| yyfree((void *) b ); |
yyfree((void *) b ); |
| } |
} |
| |
|
| #ifndef __cplusplus |
|
| extern int isatty (int ); |
|
| #endif /* __cplusplus */ |
|
| |
|
| /* Initializes or reinitializes a buffer. |
/* Initializes or reinitializes a buffer. |
| * This function is sometimes called more than once on the same buffer, |
* This function is sometimes called more than once on the same buffer, |
| * such as during a yyrestart() or at EOF. |
* such as during a yyrestart() or at EOF. |
|
Line 2544 void yypop_buffer_state (void)
|
Line 2527 void yypop_buffer_state (void)
|
| */ |
*/ |
| static void yyensure_buffer_stack (void) |
static void yyensure_buffer_stack (void) |
| { |
{ |
| int num_to_alloc; | yy_size_t num_to_alloc; |
| |
|
| if (!(yy_buffer_stack)) { |
if (!(yy_buffer_stack)) { |
| |
|
|
Line 2641 YY_BUFFER_STATE yy_scan_string (yyconst char * yystr )
|
Line 2624 YY_BUFFER_STATE yy_scan_string (yyconst char * yystr )
|
| * |
* |
| * @return the newly allocated buffer state object. |
* @return the newly allocated buffer state object. |
| */ |
*/ |
| YY_BUFFER_STATE yy_scan_bytes (yyconst char * yybytes, int _yybytes_len ) | YY_BUFFER_STATE yy_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len ) |
| { |
{ |
| YY_BUFFER_STATE b; |
YY_BUFFER_STATE b; |
| char *buf; |
char *buf; |
|
Line 2728 FILE *yyget_out (void)
|
Line 2711 FILE *yyget_out (void)
|
| /** Get the length of the current token. |
/** Get the length of the current token. |
| * |
* |
| */ |
*/ |
| int yyget_leng (void) | yy_size_t yyget_leng (void) |
| { |
{ |
| return yyleng; |
return yyleng; |
| } |
} |