!7

sclass Suggestion {
  RuleWithParams rule;
  S output;
  
  *() {}
  *(RuleWithParams *rule, S *output) {}
}

sclass TestBot extends DynObjectTable<RuleWithParams> {
  InputChooser inputChooser = new(this);
  transient JTextField tfSource;
  S source;
  
  start { inputChooser.delay = 1000; }
  
  visualize {
    ret northAndCenter(vstackWithSpacing(
      wrap(inputChooser),
      withLabel("Rules mech list (empty for default rules&facts):",
        onEnter(tfSource = dm_fieldTextField('source), r { update(inputChooser.input()) }))),
      super.visualize());
  }
  
  void update { if (inputChooser.update()) update(inputChooser.input()); }
  
  void update(S input) {
    new NLLogicChecker_v3 c;
    c.input = input;
    Pair<L<IfThen>, LS> rulesAndFacts;
    if (empty(trim(source)))
      rulesAndFacts = ai_activeRulesAndFacts();
    else
      rulesAndFacts = pair(ai_parseRules(mL_raw(trim(source))), emptyList(S));
    c.facts = reversed(rulesAndFacts.b);
    c.rules = reversed(rulesAndFacts.a); // latest rules first!
    c.rules = [IfThen r : c.rules | ai_ruleAccessesInput(r)];
    c.rules = nlLogic_safeLHSEvalsOnly(c.rules);
    print("Have " + n2(rulesAndFacts.a, "rule"));
    c.useIterate = true;
    c.staticVerbose = true;
    new L<RuleWithParams> battleSpace;
    nlLogic_fillBattleSpace(c, battleSpace, false);
    //print("l=" + l(battleSpace));
    setData(map(battleSpace, func(RuleWithParams r) -> Suggestion {
      Suggestion(r, nlLogic_outputFromRuleWithParams(r))
    }));
  }
}