Lines Matching defs:filename
56 int DiskIO::OpenForRead(const string & filename) {
60 if (((realFilename != filename) && (userFilename != filename)) || (openForWrite)) {
68 userFilename = filename;
74 } // DiskIO::OpenForRead(string filename)
76 // Open a disk for reading and writing by filename.
78 int DiskIO::OpenForWrite(const string & filename) {
81 if ((isOpen) && (openForWrite) && ((filename == realFilename) || (filename == userFilename))) {
84 userFilename = filename;
92 } // DiskIO::OpenForWrite(string filename)