192 File_read::open(const Task* task, const std::string& name)  in open()  argument
213       this->token_.add_writer(task);  in open()
222 File_read::open(const Task* task, const std::string& name,  in open()  argument
234   this->token_.add_writer(task);  in open()
293 File_read::lock(const Task* task)  in lock()  argument
297   this->token_.add_writer(task);  in lock()
304 File_read::unlock(const Task* task)  in unlock()  argument
308   this->token_.remove_writer(task);  in unlock()
883 Input_file::Input_file(const Task* task, const char* name,  in Input_file()  argument
890   bool ok = this->file_.open(task, name, contents, size);  in Input_file()
1085 Input_file::open(const Dirsearch& dirpath, const Task* task, int* pindex)  in open()  argument
1099       ok = this->file_.open(task, name);  in open()
1105       ok = this->open_binary(task, name);  in open()
1123 Input_file::open_binary(const Task* task, const std::string& name)  in open_binary()  argument
1135   if (!binary_to_elf.convert(task))  in open_binary()
1137   return this->file_.open(task, name, binary_to_elf.converted_data_leak(),  in open_binary()