version 1.1.1.1, 2012/02/21 22:39:10
|
version 1.1.1.2, 2014/06/15 16:37:11
|
Line 28
|
Line 28
|
#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 161 typedef unsigned int flex_uint32_t;
|
Line 161 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 181 typedef unsigned int flex_uint32_t;
|
Line 173 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 prsaleng; | #ifndef YY_TYPEDEF_YY_SIZE_T |
| #define YY_TYPEDEF_YY_SIZE_T |
| typedef size_t yy_size_t; |
| #endif |
|
|
|
extern yy_size_t prsaleng; |
|
|
extern FILE *prsain, *prsaout; |
extern FILE *prsain, *prsaout; |
|
|
#define EOB_ACT_CONTINUE_SCAN 0 |
#define EOB_ACT_CONTINUE_SCAN 0 |
Line 207 extern FILE *prsain, *prsaout;
|
Line 204 extern FILE *prsain, *prsaout;
|
|
|
#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 229 struct yy_buffer_state
|
Line 221 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 299 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Sta
|
Line 291 static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Sta
|
|
|
/* yy_hold_char holds the character lost when prsatext is formed. */ |
/* yy_hold_char holds the character lost when prsatext 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 prsaleng; | yy_size_t prsaleng; |
|
|
/* 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 328 static void prsa_init_buffer (YY_BUFFER_STATE b,FILE *
|
Line 320 static void prsa_init_buffer (YY_BUFFER_STATE b,FILE *
|
|
|
YY_BUFFER_STATE prsa_scan_buffer (char *base,yy_size_t size ); |
YY_BUFFER_STATE prsa_scan_buffer (char *base,yy_size_t size ); |
YY_BUFFER_STATE prsa_scan_string (yyconst char *yy_str ); |
YY_BUFFER_STATE prsa_scan_string (yyconst char *yy_str ); |
YY_BUFFER_STATE prsa_scan_bytes (yyconst char *bytes,int len ); | YY_BUFFER_STATE prsa_scan_bytes (yyconst char *bytes,yy_size_t len ); |
|
|
void *prsaalloc (yy_size_t ); |
void *prsaalloc (yy_size_t ); |
void *prsarealloc (void *,yy_size_t ); |
void *prsarealloc (void *,yy_size_t ); |
Line 746 char *prsatext;
|
Line 738 char *prsatext;
|
extern int prsalex (void); |
extern int prsalex (void); |
extern int prsa_cur_lineno; |
extern int prsa_cur_lineno; |
|
|
#line 750 "prsa_tok.c" | #line 742 "prsa_tok.c" |
|
|
#define INITIAL 0 |
#define INITIAL 0 |
|
|
Line 785 FILE *prsaget_out (void );
|
Line 777 FILE *prsaget_out (void );
|
|
|
void prsaset_out (FILE * out_str ); |
void prsaset_out (FILE * out_str ); |
|
|
int prsaget_leng (void ); | yy_size_t prsaget_leng (void ); |
|
|
char *prsaget_text (void ); |
char *prsaget_text (void ); |
|
|
Line 827 static int input (void );
|
Line 819 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 935 YY_DECL
|
Line 922 YY_DECL
|
|
|
#line 56 "prsa_tok.l" |
#line 56 "prsa_tok.l" |
|
|
#line 939 "prsa_tok.c" | #line 926 "prsa_tok.c" |
|
|
if ( !(yy_init) ) |
if ( !(yy_init) ) |
{ |
{ |
Line 1152 YY_RULE_SETUP
|
Line 1139 YY_RULE_SETUP
|
#line 89 "prsa_tok.l" |
#line 89 "prsa_tok.l" |
ECHO; |
ECHO; |
YY_BREAK |
YY_BREAK |
#line 1156 "prsa_tok.c" | #line 1143 "prsa_tok.c" |
case YY_STATE_EOF(INITIAL): |
case YY_STATE_EOF(INITIAL): |
yyterminate(); |
yyterminate(); |
|
|
Line 1338 static int yy_get_next_buffer (void)
|
Line 1325 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 1383 static int yy_get_next_buffer (void)
|
Line 1370 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 1478 static int yy_get_next_buffer (void)
|
Line 1465 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 == 193); |
yy_is_jam = (yy_current_state == 193); |
|
|
return yy_is_jam ? 0 : yy_current_state; | return yy_is_jam ? 0 : yy_current_state; |
} |
} |
|
|
static void yyunput (int c, register char * yy_bp ) |
static void yyunput (int c, register char * yy_bp ) |
Line 1493 static int yy_get_next_buffer (void)
|
Line 1480 static int yy_get_next_buffer (void)
|
if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) |
if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) |
{ /* need to shift things up to make room */ |
{ /* need to shift things up to make room */ |
/* +2 for EOB chars. */ |
/* +2 for EOB chars. */ |
register int number_to_move = (yy_n_chars) + 2; | register yy_size_t number_to_move = (yy_n_chars) + 2; |
register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[ |
register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[ |
YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2]; |
YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2]; |
register char *source = |
register char *source = |
Line 1542 static int yy_get_next_buffer (void)
|
Line 1529 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 1702 static void prsa_load_buffer_state (void)
|
Line 1689 static void prsa_load_buffer_state (void)
|
prsafree((void *) b ); |
prsafree((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 prsarestart() or at EOF. |
* such as during a prsarestart() or at EOF. |
Line 1818 void prsapop_buffer_state (void)
|
Line 1801 void prsapop_buffer_state (void)
|
*/ |
*/ |
static void prsaensure_buffer_stack (void) |
static void prsaensure_buffer_stack (void) |
{ |
{ |
int num_to_alloc; | yy_size_t num_to_alloc; |
|
|
if (!(yy_buffer_stack)) { |
if (!(yy_buffer_stack)) { |
|
|
Line 1915 YY_BUFFER_STATE prsa_scan_string (yyconst char * yystr
|
Line 1898 YY_BUFFER_STATE prsa_scan_string (yyconst char * yystr
|
* |
* |
* @return the newly allocated buffer state object. |
* @return the newly allocated buffer state object. |
*/ |
*/ |
YY_BUFFER_STATE prsa_scan_bytes (yyconst char * yybytes, int _yybytes_len ) | YY_BUFFER_STATE prsa_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len ) |
{ |
{ |
YY_BUFFER_STATE b; |
YY_BUFFER_STATE b; |
char *buf; |
char *buf; |
Line 2002 FILE *prsaget_out (void)
|
Line 1985 FILE *prsaget_out (void)
|
/** Get the length of the current token. |
/** Get the length of the current token. |
* |
* |
*/ |
*/ |
int prsaget_leng (void) | yy_size_t prsaget_leng (void) |
{ |
{ |
return prsaleng; |
return prsaleng; |
} |
} |