input_file
void yyrestart (FILE *input_file );
void yyrestart (FILE * input_file )
yy_init_buffer(YY_CURRENT_BUFFER,input_file );
struct input_file inf;
load_file(struct input_file *inf)
try_stat(struct input_file *inf)
try_empty(struct input_file *inf)
try_access(struct input_file *inf)
try_text(struct input_file *inf)
try_magic(struct input_file *inf)
try_unknown(struct input_file *inf)
test_file(struct input_file *inf, size_t width)
static void test_file(struct input_file *, size_t);
static int try_stat(struct input_file *);
static int try_empty(struct input_file *);
static int try_access(struct input_file *);
static int try_text(struct input_file *);
static int try_magic(struct input_file *);
static int try_unknown(struct 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 *);
extern FILE *input_file;
input_file = stdin;
if (input_file == NULL) {
input_file = fopen(input_file_name, "r");
if (input_file == NULL)
FILE *input_file; /* the input file */
in = input_file;
FILE *f = input_file;