Lines Matching defs:Filename
29 def __init__(self, filename, always_write = False, create_dir = True):
30 self.filename = filename
70 # // From FILENAME.idl modified DAY MON DATE TIME YEAR.
71 # /* From FILENAME.idl modified DAY MON DATE TIME YEAR. */
84 def Filename(self):
85 return self.filename
90 raise RuntimeError('Could not write to closed file %s.' % self.filename)
95 filename = os.path.realpath(self.filename)
101 if os.path.isfile(filename):
102 oldtext = open(filename, 'rb').read()
105 InfoOut.Log('Output %s unchanged.' % self.filename)
110 'OLD ' + self.filename,
111 'NEW ' + self.filename,
118 basepath, leafname = os.path.split(filename)
124 outfile = open(filename, 'wb')
126 InfoOut.Log('Output %s written.' % self.filename)
143 old_time = os.stat(filename)[ST_MTIME]
148 out = IDLOutFile(filename, force)
156 cur_time = os.stat(filename)[ST_MTIME]
159 ErrOut.Log('Failed to write output %s.' % filename)
162 ErrOut.Log('Failed to update timestamp for %s.' % filename)
166 ErrOut.Log('Should not have writen output %s.' % filename)
169 ErrOut.Log('Should not have modified timestamp for %s.' % filename)
177 filename = 'outtest.txt'
180 errors += TestFile(filename, stringlist, force=True, update=True)
183 errors += TestFile(filename, stringlist, force=False, update=False)
186 errors += TestFile(filename, stringlist + ['X'], force=False, update=True)
189 os.remove(filename)
