cloud9_root/src/third_party/stp/src/parser/lexsmt.cpp
/** Immediately switch to a different input stream.
 * @param input_file A readable stream.
 * 
 * @note This function does not reset the start condition to @c INITIAL .
 */
Immediately switch to a different input stream.
@param input_file A readable stream.

@note This function does not reset the start condition to @c INITIAL .
Immediately switch to a different input stream . @param input_file A readable stream . @note This function does not reset the start condition to @c INITIAL .
void smtrestart  (FILE * input_file )
{
	if ( ! YY_CURRENT_BUFFER ){
        smtensure_buffer_stack ();
		YY_CURRENT_BUFFER_LVALUE =
            smt_create_buffer(smtin,YY_BUF_SIZE );
	}
	smt_init_buffer(YY_CURRENT_BUFFER,input_file );
	smt_load_buffer_state( );
}
void smtrestart ( FILE * input_file ) { if ( ! YY_CURRENT_BUFFER ) { smtensure_buffer_stack ( ) ; YY_CURRENT_BUFFER_LVALUE = smt_create_buffer ( smtin , YY_BUF_SIZE ) ; } smt_init_buffer ( YY_CURRENT_BUFFER , input_file ) ; smt_load_buffer_state ( ) ; }
Immediately switch to a different input stream.
Immediately switch to a different input stream .