191   { return this->input_file_; }  in input_file()
200   { return this->input_file_->file(); }  in file()
204   { return this->input_file_->file(); }  in file()
209   { this->input_file_->file().lock(t); }  in lock()
214   { this->input_file_->file().unlock(t); }  in unlock()
219   { return this->input_file_->file().is_locked(); }  in is_locked()
224   { return this->input_file_->file().token(); }  in token()
229   { this->input_file_->file().release(); }  in release()
234   { this->input_file_->file().clear_uncached_views(); }  in clear_uncached_views()
274   { return this->input_file_->filename(); }  in do_filename()
293   { return this->input_file_->file().get_view(0, start, size, aligned, cache); }  in get_view()
346   { return this->input_file_->will_search_for(); }  in searched_for()
386   Input_file* input_file_;  variable