input_file
void __ktrfmtrestart (FILE * input_file )
__ktrfmt_init_buffer(YY_CURRENT_BUFFER,input_file );
void __ktrfmtrestart (FILE *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 *);
static 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) */
void yyrestart (FILE * input_file )
yy_init_buffer(YY_CURRENT_BUFFER,input_file );
void yyrestart (FILE *input_file );
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 *);