cloud9_root/src/third_party/stp/src/parser/lexsmt.cpp
/* smtlex_destroy is for both reentrant and non-reentrant scanners. */
smtlex_destroy is for both reentrant and non-reentrant scanners.
smtlex_destroy is for both reentrant and non - reentrant scanners .
int smtlex_destroy  (void)
{
	while(YY_CURRENT_BUFFER){
		smt_delete_buffer(YY_CURRENT_BUFFER  );
		YY_CURRENT_BUFFER_LVALUE = NULL;
		smtpop_buffer_state();
	}
	smtfree((yy_buffer_stack) );
	(yy_buffer_stack) = NULL;
    yy_init_globals( );
    return 0;
}
int smtlex_destroy ( void ) { while ( YY_CURRENT_BUFFER ) { smt_delete_buffer ( YY_CURRENT_BUFFER ) ; YY_CURRENT_BUFFER_LVALUE = NULL ; smtpop_buffer_state ( ) ; } smtfree ( ( yy_buffer_stack ) ) ; ( yy_buffer_stack ) = NULL ; yy_init_globals ( ) ; return 0 ; }
smtlex_destroy is for both reentrant and non-reentrant scanners.
smtlex_destroy is for both reentrant and non - reentrant scanners .
/* Pop the buffer stack, destroying each element. */ /* Destroy the stack itself. */ /* Reset the globals. This is important in a non-reentrant scanner so the next time
     * smtlex() is called, initialization will occur. */