Searched refs:historyFile (Results 1 – 1 of 1) sorted by relevance
34 public History(final File historyFile) throws IOException { in History() argument35 setHistoryFile(historyFile); in History()38 public void setHistoryFile(final File historyFile) throws IOException { in setHistoryFile() argument39 if (historyFile.isFile()) { in setHistoryFile()40 load(new FileInputStream(historyFile)); in setHistoryFile()43 setOutput(new PrintWriter(new FileWriter(historyFile), true)); in setHistoryFile()