cloud9_root/src/third_party/stp/src/parser/lexsmt.cpp
/** Switch to a different input buffer.
 * @param new_buffer The new input buffer.
 * 
 */
Switch to a different input buffer.
@param new_buffer The new input buffer.
Switch to a different input buffer . @param new_buffer The new input buffer .
void smt_switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
{
	smtensure_buffer_stack ();
	if ( YY_CURRENT_BUFFER == new_buffer )
		return;
	if ( YY_CURRENT_BUFFER )
		{
		*(yy_c_buf_p) = (yy_hold_char);
		YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
		YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
		}
	YY_CURRENT_BUFFER_LVALUE = new_buffer;
	smt_load_buffer_state( );
	(yy_did_buffer_switch_on_eof) = 1;
}
void smt_switch_to_buffer ( YY_BUFFER_STATE new_buffer ) { smtensure_buffer_stack ( ) ; if ( YY_CURRENT_BUFFER == new_buffer ) return ; if ( YY_CURRENT_BUFFER ) { * ( yy_c_buf_p ) = ( yy_hold_char ) ; YY_CURRENT_BUFFER_LVALUE -> yy_buf_pos = ( yy_c_buf_p ) ; YY_CURRENT_BUFFER_LVALUE -> yy_n_chars = ( yy_n_chars ) ; } YY_CURRENT_BUFFER_LVALUE = new_buffer ; smt_load_buffer_state ( ) ; ( yy_did_buffer_switch_on_eof ) = 1 ; }
Switch to a different input buffer.
Switch to a different input buffer .
/* TODO. We should be able to replace this entire function body
	 * with
	 *		smtpop_buffer_state();
	 *		smtpush_buffer_state(new_buffer);
     */ /* Flush out information for old buffer. */ /* We don't actually know whether we did this switch during
	 * EOF (smtwrap()) processing, but the only time this flag
	 * is looked at is after smtwrap() is called, so it's safe
	 * to go ahead and always set it.
	 */