Searched defs:historyFile (Results 1 – 1 of 1) sorted by relevance
34 public History(final File historyFile) throws IOException { in History()38 public void setHistoryFile(final File historyFile) throws IOException { in setHistoryFile()