- Enclosing class:
Nano
protected static class Nano.PatternHistory
extends Object
-
Constructor Summary
Constructors
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
PatternHistory
public PatternHistory(Path historyFile)
-
Method Details
-
-
-
add
public void add(String pattern)
-
persist
public void persist()