Lines Matching defs:dataFile
270 File dataFile = new File(dir, getName()+".dat"); //$NON-NLS-1$
271 if (!dataFile.exists()) throw new FileNotFoundException();
275 stream = new DataInputStream(new BufferedInputStream(new FileInputStream(dataFile)));
303 println(" => "+size+" scenarios data were read from file "+dataFile); //$NON-NLS-1$ //$NON-NLS-2$
308 println(" !!! "+dataFile+" should be deleted as it contained invalid data !!!"); //$NON-NLS-1$ //$NON-NLS-2$
402 File dataFile = new File(dir, getName()+".dat"); //$NON-NLS-1$
405 if (dataFile.exists()) dataFile.delete();
406 tmpFile.renameTo(dataFile);
407 println(" => rename temporary file to "+dataFile); //$NON-NLS-1$
418 if (dataFile.exists()) {
419 dataFile.delete();
421 file = dataFile;