cloud9_root/src/third_party/stp/src/parser/lexsmt.cpp
void smtpush_buffer_state (YY_BUFFER_STATE new_buffer )
{
    	if (new_buffer == NULL)
		return;

	smtensure_buffer_stack();

	/* This block is copied from smt_switch_to_buffer. */
	if ( YY_CURRENT_BUFFER )
		{
		/* Flush out information for old 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);
		}

	/* Only push if top exists. Otherwise, replace top. */
	if (YY_CURRENT_BUFFER)
		(yy_buffer_stack_top)++;
	YY_CURRENT_BUFFER_LVALUE = new_buffer;

	/* copied from smt_switch_to_buffer. */
	smt_load_buffer_state( );
	(yy_did_buffer_switch_on_eof) = 1;
}
/** Pushes the new state onto the stack. The new state becomes
 *  the current state. This function will allocate the stack
 *  if necessary.
 *  @param new_buffer The new state.
 *  
 */
Pushes the new state onto the stack. The new state becomes
the current state. This function will allocate the stack
if necessary.
@param new_buffer The new state.
Pushes the new state onto the stack . The new state becomes the current state . This function will allocate the stack if necessary . @param new_buffer The new state .
void smtpush_buffer_state (YY_BUFFER_STATE new_buffer )
{
    	if (new_buffer == NULL)
		return;
	smtensure_buffer_stack();
	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);
		}
	if (YY_CURRENT_BUFFER)
		(yy_buffer_stack_top)++;
	YY_CURRENT_BUFFER_LVALUE = new_buffer;
	smt_load_buffer_state( );
	(yy_did_buffer_switch_on_eof) = 1;
}
void smtpush_buffer_state ( YY_BUFFER_STATE new_buffer ) { if ( new_buffer == NULL ) return ; smtensure_buffer_stack ( ) ; 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 ) ; } if ( YY_CURRENT_BUFFER ) ( yy_buffer_stack_top ) ++ ; YY_CURRENT_BUFFER_LVALUE = new_buffer ; smt_load_buffer_state ( ) ; ( yy_did_buffer_switch_on_eof ) = 1 ; }
Pushes the new state onto the stack.
Pushes the new state onto the stack .
/* This block is copied from smt_switch_to_buffer. */ /* Flush out information for old buffer. */ /* Only push if top exists. Otherwise, replace top. */ /* copied from smt_switch_to_buffer. */