cloud9_root/src/third_party/stp/src/parser/lexsmt2.cpp
/* Initializes or reinitializes a buffer.
 * This function is sometimes called more than once on the same buffer,
 * such as during a smt2restart() or at EOF.
 */
Initializes or reinitializes a buffer.
This function is sometimes called more than once on the same buffer,
such as during a smt2restart() or at EOF.
Initializes or reinitializes a buffer . This function is sometimes called more than once on the same buffer such as during a smt2restart () or at EOF .
static void smt2_init_buffer  (YY_BUFFER_STATE  b, FILE * file )
{
	int oerrno = errno;
	smt2_flush_buffer(b );
	b->yy_input_file = file;
	b->yy_fill_buffer = 1;
    if (b != YY_CURRENT_BUFFER){
        b->yy_bs_lineno = 1;
        b->yy_bs_column = 0;
    }
        b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
	errno = oerrno;
}
static void smt2_init_buffer ( YY_BUFFER_STATE b , FILE * file ) { int oerrno = errno ; smt2_flush_buffer ( b ) ; b -> yy_input_file = file ; b -> yy_fill_buffer = 1 ; if ( b != YY_CURRENT_BUFFER ) { b -> yy_bs_lineno = 1 ; b -> yy_bs_column = 0 ; } b -> yy_is_interactive = file ? ( isatty ( fileno ( file ) ) > 0 ) : 0 ; errno = oerrno ; }
Initializes or reinitializes a buffer.
Initializes or reinitializes a buffer .
/* If b is the current buffer, then smt2_init_buffer was _probably_
     * called from smt2restart() or through yy_get_next_buffer.
     * In that case, we don't want to reset the lineno or column.
     */