yy_size_t
yy_size_t num_to_read =
yy_size_t new_size = b->yy_buf_size * 2;
if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
yy_size_t offset = (yy_c_buf_p) - (yytext_ptr);
yy_size_t num_to_alloc;
YY_BUFFER_STATE __ktrfmt_scan_buffer (char * base, yy_size_t size )
YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
yy_size_t n;
yy_size_t __ktrfmtget_leng (void)
extern yy_size_t __ktrfmtleng;
void *__ktrfmtalloc (yy_size_t size )
void *__ktrfmtrealloc (void * ptr, yy_size_t size )
yy_size_t yy_buf_size;
yy_size_t yy_n_chars;
static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */
yy_size_t __ktrfmtleng;
YY_BUFFER_STATE __ktrfmt_scan_buffer (char *base,yy_size_t size );
YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char *bytes,yy_size_t len );
void *__ktrfmtalloc (yy_size_t );
void *__ktrfmtrealloc (void *,yy_size_t );
yy_size_t __ktrfmtget_leng (void );
yy_size_t num_to_read =
yy_size_t new_size = b->yy_buf_size * 2;
if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
yy_size_t offset = (yy_c_buf_p) - (yytext_ptr);
yy_size_t num_to_alloc;
YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size )
YY_BUFFER_STATE yy_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
yy_size_t n;
yy_size_t i;
extern yy_size_t yyleng;
yy_size_t yyget_leng (void)
void *yyalloc (yy_size_t size )
void *yyrealloc (void * ptr, yy_size_t size )
yy_size_t yy_buf_size;
yy_size_t yy_n_chars;
static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */
yy_size_t yyleng;
YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size );
YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,yy_size_t len );
void *yyalloc (yy_size_t );
void *yyrealloc (void *,yy_size_t );
yy_size_t yyget_leng (void );