Lines Matching defs:file
12 * version 2 for more details (a copy is included in the LICENSE file that
37 import java.nio.file.Files;
43 static final String FILE_CONTENTS = "This is a small file!";
48 /* create the file and write its contents */
49 File file = File.createTempFile(fileName, null);
50 file.deleteOnExit();
51 Files.write(file.toPath(), FILE_CONTENTS.getBytes());
53 test(true, file);
54 file.delete();
57 private static void test(boolean exists, File file) throws Throwable {
58 /* Formatter(File file, String csn) */
60 new Formatter(file, UNSUPPORTED_CHARSET);
66 check(exists, file);
69 new Formatter(file, null);
75 check(exists, file);
79 new Formatter(file.getName(), UNSUPPORTED_CHARSET);
85 check(exists, file);
88 new Formatter(file.getName(), null);
94 check(exists, file);
97 private static void check(boolean exists, File file) {
99 /* the file should be unchanged */
100 verifyContents(file);
102 /* the file should not have been created */
103 if (file.exists()) { fail(file + " should not have been created"); }
107 private static void verifyContents(File file) {
108 try (FileInputStream fis = new FileInputStream(file)) {
113 fail("file contents have been altered");