Searched refs:yy_did_buffer_switch_on_eof (Results 1 – 1 of 1) sorted by relevance
277 static int yy_did_buffer_switch_on_eof; variable990 (yy_did_buffer_switch_on_eof) = 0;1011 if ( ! (yy_did_buffer_switch_on_eof) )1322 if ( ! (yy_did_buffer_switch_on_eof) ) in yyinput()1396 (yy_did_buffer_switch_on_eof) = 1; in yy_switch_to_buffer()1544 (yy_did_buffer_switch_on_eof) = 1; in yypush_buffer_state()1563 (yy_did_buffer_switch_on_eof) = 1; in yypop_buffer_state()