Lines Matching defs:file
5 * you may not use this file except in compliance with the License.
19 import java.io.File;
27 * should not be deleted then call {@link #persistFile(File)} to ensure that they survive.
31 /** A simple tuple of a {@link File} and a {@link PrintWriter} for writing to that file. */
33 final File file;
36 FileAndWriter(File file, PrintWriter writer) {
37 this.file = file;
42 /** Returns the file to write trial output to. */
46 * Ensures that the given file will not be deleted after the run. The file provided must be equal
47 * to a file returned by {@link #getTrialOutputFile(int)}.
49 void persistFile(File f);
