/* Discard all buffered characters. On the next scan, YY_INPUT will be called.  */
void yy_flush_buffer(YY_BUFFER_STATE b)
/* Discard all buffered characters. On the next scan, YY_INPUT will be called.  */
void yy_flush_buffer(YY_BUFFER_STATE b)
{
    	if ( ! b )
		return;
	b->yy_n_chars = 0;
	b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
	b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
	b->yy_buf_pos = &b->yy_ch_buf[0];
	b->yy_at_bol = 1;
	b->yy_buffer_status = YY_BUFFER_NEW;
	if ( b == YY_CURRENT_BUFFER )
		yy_load_buffer_state(  );
}