Lines Matching defs:dataFile
535 File dataFile = new File(dir, "performances.dat"); //$NON-NLS-1$
536 if (!dataFile.exists()) return;
540 stream = new DataInputStream(new BufferedInputStream(new FileInputStream(dataFile)));
598 println(" => read from file "+dataFile); //$NON-NLS-1$
600 println(" !!! "+dataFile+" should be deleted as it contained invalid data !!!"); //$NON-NLS-1$ //$NON-NLS-2$
898 File dataFile = new File(dir, "performances.dat"); //$NON-NLS-1$
899 if (dataFile.exists()) {
903 dataFile.delete();
906 DataOutputStream stream = new DataOutputStream(new BufferedOutputStream(new FileOutputStream(dataFile)));
947 println(" => performance results general data written in file " + dataFile); //$NON-NLS-1$
949 System.err.println("can't create output file" + dataFile); //$NON-NLS-1$
