Searched refs:workFile (Results 1 – 1 of 1) sorted by relevance
57 private final File workFile; field in OutputFileDumper85 this.workFile = new File(resultFile.getPath() + ".tmp"); in OutputFileDumper()99 Files.createParentDirs(workFile); in processTrial()101 new JsonWriter(new OutputStreamWriter(new FileOutputStream(workFile), Charsets.UTF_8)); in processTrial()120 if (workFile.exists()) { in close()121 Files.move(workFile, resultFile); in close()