!7

cmodule PatternMaker {
  S examplesText, counterexamplesText;
  Set<Example> examples;
  transient JTable theoriesTable;

  record noeq Example(S text, bool pos) {}

  class Theory {
    S pattern;
  }
  
  visual
    withCenteredButtons(jvsplit(
      jhgrid(
        jCenteredSection("Examples", dm_textArea examplesText()),
        jCenteredSection("Counterexamples", dm_textArea counterexamplesText())),
        jCenteredSection("Theories", theoriesTable = sexyTable())),
      jThreadedButton("Think", rEnter think));

  void think {
    Set<S> l1 = asLinkedHashSet(tlftj(examplesText));
    Set<S> l2 = asLinkedHashSet(tlftj(counterexamplesText));
    Set<S> intersection = setIntersection(l1, l2);
    if (nempty(intersection))
      ret with infoBox("Error: Examples appear in both lists, e.g. " + first(intersection));
      
    setField(examples := concatAsLinkedHashSet(
      map(l1, s -> new Example(s, true)),
      map(l2, s -> new Example(s, false))));
  }
}