!7

set flag DynModule.

sclass TestBot extends DynObjectTable<ExecutedRule> {
  InputChooser inputChooser = new(this);
  S source;
  S inputAs = "Input:"; // "Input:" or "Fact:"
  bool unsafeEvals;
  
  start {
    dm_useLocalMechListCopies();
    inputChooser.delay = 1000;
    itemToMap = itemToMap_ExecutedRule();
  }
  
  visualize {
    ret withMargin(northAndCenter(vstackWithSpacing(
      westAndCenter(dm_fieldComboBox('inputAs,
        ll("Input:", "Fact:")),
        wrap(inputChooser)),
      withLabel("Rules mech lists (empty for default rules&facts):",
        onEnter(dm_fieldTextField('source), rThread doIt)),
      jrightalignedline(main.onChange(dm_fieldCheckBox("Allow unsafe evals", 'unsafeEvals), rThread doIt))),
      super.visualize()));
  }
  
  void doIt { update(inputChooser.input()); }
  
  void update { if (inputChooser.update()) update(inputChooser.input()); }
  
  void update(S input) {
    temp enter();
    bool inputAsFact = cic(inputAs, 'fact);
    NLLogicChecker_v2.staticVerbose = true;
    temp tempSetTL(nlLogic_processInputOrFact_withFailed_allowUnsafeEvals, unsafeEvals);
    L<ExecutedRule> l = nlLogic_processInputOrFact_withFailed(input, inputAsFact, 
      or2(trim(source), "<default>"));
      
    // Successful rules first
    sortInPlaceByCalculatedField(l, func(ExecutedRule r) -> Int {
      int n = r.failureLevel();
      ret n == 0 ? 0 : n < 0 ? 1 : Int.MAX_VALUE-n;
    });
    printLength("l=", l);
    setData(l);
  }
}