Searched refs:yy_did_buffer_switch_on_eof (Results 1 – 2 of 2) sorted by relevance
278 static int yy_did_buffer_switch_on_eof; variable1280 (yy_did_buffer_switch_on_eof) = 0;1301 if ( ! (yy_did_buffer_switch_on_eof) )1593 if ( ! (yy_did_buffer_switch_on_eof) ) in yyinput()1669 (yy_did_buffer_switch_on_eof) = 1; in yy_switch_to_buffer()1813 (yy_did_buffer_switch_on_eof) = 1; in yypush_buffer_state()1832 (yy_did_buffer_switch_on_eof) = 1; in yypop_buffer_state()
297 static int yy_did_buffer_switch_on_eof; variable2988 (yy_did_buffer_switch_on_eof) = 0;3009 if ( ! (yy_did_buffer_switch_on_eof) )3316 if ( ! (yy_did_buffer_switch_on_eof) ) in yyinput()3395 (yy_did_buffer_switch_on_eof) = 1; in yy_switch_to_buffer()3539 (yy_did_buffer_switch_on_eof) = 1; in yypush_buffer_state()3558 (yy_did_buffer_switch_on_eof) = 1; in yypop_buffer_state()
Completed in 10 milliseconds