input_file
void yyrestart (FILE * input_file )
yy_init_buffer(YY_CURRENT_BUFFER,input_file );
void yyrestart (FILE *input_file );
void yyrestart (FILE * input_file )
yy_init_buffer(YY_CURRENT_BUFFER,input_file );
void yyrestart (FILE *input_file );
void yyrestart (FILE * input_file )
yy_init_buffer(YY_CURRENT_BUFFER,input_file );
void yyrestart (FILE *input_file );
if (input_file >= 0)
close(input_file);
input_file = open(input_f, O_RDONLY);
if (input_file < 0)
off = lseek(input_file, 0, SEEK_END);
off = lseek(input_file, 0, SEEK_SET);
if (read(input_file, input_ptr, input_len) != input_len)
static int input_file = -1;
void yyrestart (FILE * input_file )
yy_init_buffer( YY_CURRENT_BUFFER, input_file );
void yyrestart ( FILE *input_file );
void yyrestart ( FILE *input_file );
void yyrestart (FILE * input_file )
yy_init_buffer( YY_CURRENT_BUFFER, input_file );
extern int obtain_char(struct input_file *);
extern void set_input(struct input_file *, FILE *, const char *);
extern void release_input(struct input_file *);
extern size_t trace(const char **, int, struct input_file *);
extern struct input_file infile[];/* input file stack (0=stdin) */
extern struct input_file *fopen_trypath(struct input_file *, const char *);
extern void doprintlineno(struct input_file *);
extern void doprintfilename(struct input_file *);
struct input_file *
dopath(struct input_file *i, const char *filename)
struct input_file *
fopen_trypath(struct input_file *i, const char *filename)
static struct input_file *dopath(struct input_file *, const char *);
struct input_file infile[MAXINP];/* input file stack (0=stdin) */
obtain_char(struct input_file *f)
set_input(struct input_file *f, FILE *real, const char *name)
release_input(struct input_file *f)
doprintlineno(struct input_file *f)
doprintfilename(struct input_file *f)
print_header(struct input_file *inp)
trace(const char *argv[], int argc, struct input_file *inp)
static void print_header(struct input_file *);