Searched refs:yy_did_buffer_switch_on_eof (Results 1 – 1 of 1) sorted by relevance
324 static int yy_did_buffer_switch_on_eof; variable1842 (yy_did_buffer_switch_on_eof) = 0;1863 if ( ! (yy_did_buffer_switch_on_eof) )2183 if ( ! (yy_did_buffer_switch_on_eof) ) in yyinput()2272 (yy_did_buffer_switch_on_eof) = 1; in yy_switch_to_buffer()2457 (yy_did_buffer_switch_on_eof) = 1; in yypush_buffer_state()2482 (yy_did_buffer_switch_on_eof) = 1; in yypop_buffer_state()
