Lines Matching defs:hist
572 private List<String> hist;
577 private ReplayableHistory(List<String> hist) {
578 this.hist = hist;
601 if (hist.size() > lastSaved) {
606 int first = hist.size();
608 length += hist.get(first).length() + sepLen;
611 hist = hist.subList(first + 1, hist.size());
613 String shist = String.join(RECORD_SEPARATOR, hist);
622 hist.add(s);
627 return hist;
632 lastSaved = hist.size();