873 Input_file::Input_file(const char* name)  in Input_file()  function in gold::Input_file
883 Input_file::Input_file(const Task* task, const char* name,  in Input_file()  function in gold::Input_file
897 Input_file::options() const  in options()
905 Input_file::name() const  in name()
913 Input_file::is_in_system_directory() const  in is_in_system_directory()
923 Input_file::just_symbols() const  in just_symbols()
932 Input_file::will_search_for() const  in will_search_for()
962 Input_file::try_extra_search_path(int* pindex,  in try_extra_search_path()
994 Input_file::find_file(const Dirsearch& dirpath, int* pindex,  in find_file()
1039 	if (Input_file::try_extra_search_path(pindex, input_argument, *n,  in find_file()
1085 Input_file::open(const Dirsearch& dirpath, const Task* task, int* pindex)  in open()
1088   if (!Input_file::find_file(dirpath, pindex, this->input_argument_,  in open()
1123 Input_file::open_binary(const Task* task, const std::string& name)  in open_binary()