Lines Matching defs:file
12 * version 2 for more details (a copy is included in the LICENSE file that
43 * stdout, a plain text file or an HTML file. This program can be
51 * -o file write output to file: format will be HTML if
52 * file has .html extension; otherwise it will be plain text.
274 TextRunner(File file, boolean showFiles, boolean raw, boolean verbose)
277 this.file = file;
278 out = new PrintWriter(new FileWriter(file));
289 if (file != null)
332 File file;
337 HTMLRunner(File file, boolean showFiles, boolean raw, boolean verbose, String title)
340 this.file = file;
341 PrintWriter out = new PrintWriter(new FileWriter(file));
351 html.writeLine("div.file { background-color:#e0ffe0; margin-left:30px; margin-right:30px;\n"
353 html.writeLine("p.file { white-space: pre-wrap; font-family:monospace; margin: 0; }");
479 if (!f.equals(e.file)) {
481 html.write(e.file.toURI().relativize(f.toURI()).toString());
584 File file;
595 static final String FILE = "file";