Lines Matching defs:file_input
296 class file_input : public input {
304 file_input(FILE *, const char *, input *);
305 ~file_input();
358 file_input::file_input(FILE *f, const char *fn, input *p)
365 file_input::~file_input()
371 int file_input::read_line()
401 int file_input::get()
409 int file_input::peek()
417 int file_input::get_location(char **fnp, int *lnp)
895 current_input = new file_input(fp, filename, current_input);