Lines Matching refs:tmpDir
58 File tmpDir;
61 tmpDir = new File(System.getProperty("user.dir"));
63 tmpDir = new File(System.getProperty("java.io.tmpdir"),
67 Example.setTempDir(tmpDir);
76 /* VERY IMPORTANT NOTE. In jtreg mode, tmpDir is set to the
79 * clean tmpDir when it is reasonable to do so.
81 if (tmpDir.isDirectory() &&
82 tmpDir.getName().startsWith(MessageInfo.class.getName())) {
83 if (clean(tmpDir))
84 tmpDir.delete();