!7

static int maxWords = 100000, topTenSize = 10;
static int maxWordLength = 100;
static MultiSetAndTopTen<S> mstt;

p-subst {
  tt(); centerHigherConsole(); saveConceptsQuietly();
  load('topTenSize);
  
  mstt = new MultiSetAndTopTen(
    l_persistentTreeMap("Words + count"),
    l_persistentList("Top Ten"));
    
  mstt.maxEntries = maxWords;
  mstt.topTenTargetLength = topTenSize;
  mstt.printTopTen();
  showControls(jcenteredline(jbutton("Show Text Area", f showTextArea)));
  botIfMain();
}

svoid addWordHits(Collection<S> words) {
  lock dbLock();
  for (S word : words)
    mstt.add(shorten(word, maxWordLength));
}

svoid processText(S s) {
  logQuoted("texts-posted.log", now() + " | " + s);
  addWordHits(words2(s)); mstt.printTopTen();
}

answer {
  if "top *" { topTenSize = parseInt($1); save('topTenSize); mstt.newTopTen(topTenSize); mstt.printTopTen(); ret "OK"; }
  if "all alphabetic" { showTableWithSearcher(mstt.ms, "Alphabetic with count"); ret "OK"; }
  processText(s); try answer "OK";
}

svoid showTextArea swing {
  final JTextArea ta = jwordwraptextarea();
  showFrame(centerAndSouth(ta, jcenteredline(jbutton("Save words", r { processText(getText(ta)); disposeFrame(ta) }))));
}