YY_BUFFER_STATE
YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
void __ktrfmt_switch_to_buffer (YY_BUFFER_STATE new_buffer )
YY_BUFFER_STATE __ktrfmt_create_buffer (FILE * file, int size )
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
void __ktrfmt_delete_buffer (YY_BUFFER_STATE b )
YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
static void __ktrfmt_init_buffer (YY_BUFFER_STATE b, FILE * file )
void __ktrfmt_flush_buffer (YY_BUFFER_STATE b )
void __ktrfmtpush_buffer_state (YY_BUFFER_STATE new_buffer )
YY_BUFFER_STATE __ktrfmt_scan_buffer (char * base, yy_size_t size )
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) __ktrfmtalloc(sizeof( struct yy_buffer_state ) );
YY_BUFFER_STATE __ktrfmt_scan_string (yyconst char * yystr )
YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
YY_BUFFER_STATE b;
static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
void __ktrfmt_switch_to_buffer (YY_BUFFER_STATE new_buffer );
YY_BUFFER_STATE __ktrfmt_create_buffer (FILE *file,int size );
void __ktrfmt_delete_buffer (YY_BUFFER_STATE b );
void __ktrfmt_flush_buffer (YY_BUFFER_STATE b );
void __ktrfmtpush_buffer_state (YY_BUFFER_STATE new_buffer );
static void __ktrfmt_init_buffer (YY_BUFFER_STATE b,FILE *file );
YY_BUFFER_STATE __ktrfmt_scan_buffer (char *base,yy_size_t size );
YY_BUFFER_STATE __ktrfmt_scan_string (yyconst char *yy_str );
YY_BUFFER_STATE __ktrfmt_scan_bytes (yyconst char *bytes,yy_size_t len );
YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer )
YY_BUFFER_STATE yy_create_buffer (FILE * file, int size )
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) );
void yy_delete_buffer (YY_BUFFER_STATE b )
YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
static void yy_init_buffer (YY_BUFFER_STATE b, FILE * file )
void yy_flush_buffer (YY_BUFFER_STATE b )
void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
YY_BUFFER_STATE yy_scan_buffer (char * base, yy_size_t size )
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state ) );
YY_BUFFER_STATE yy_scan_string (yyconst char * yystr )
YY_BUFFER_STATE yy_scan_bytes (yyconst char * yybytes, yy_size_t _yybytes_len )
YY_BUFFER_STATE b;
static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer );
YY_BUFFER_STATE yy_create_buffer (FILE *file,int size );
void yy_delete_buffer (YY_BUFFER_STATE b );
void yy_flush_buffer (YY_BUFFER_STATE b );
void yypush_buffer_state (YY_BUFFER_STATE new_buffer );
static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file );
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_bytes (yyconst char *bytes,yy_size_t len );