Lines Matching refs:yy_did_buffer_switch_on_eof
372 static int yy_did_buffer_switch_on_eof;
1477 (yy_did_buffer_switch_on_eof) = 0;
1498 if ( ! (yy_did_buffer_switch_on_eof) )
1813 if ( ! (yy_did_buffer_switch_on_eof) )
1899 (yy_did_buffer_switch_on_eof) = 1;
2073 (yy_did_buffer_switch_on_eof) = 1;
2098 (yy_did_buffer_switch_on_eof) = 1;
