Lines Matching defs:file
117 * @file This file manages creating / deleting output files for the simulator.
148 OutputDirectory::close(OutputStream *file)
150 auto i = files.find(file->name());
152 fatal("Attempted to close an unregistred file stream");
156 delete file;
208 OutputStream *file = checkForStdio(name);
209 if (file)
210 return file;
229 // correct mode for gzofstream as this used directly to set the file
245 OutputStream *file = checkForStdio(name);
246 if (file)
247 return file;
270 // definitely a file if in our data structure
297 fatal("Attempting to remove file/dir not in output dir\n");
300 // close and release file if we have it open
308 fatal("Could not erase file '%s'\n", fname);