!7

concept Solver {

  S code, codeHints;

  long modified, testedWhen;

  double score, total;

  S errorCases;

}

abstract sclass DynSolvers extends DynCRUD<Solver> {

  transient S examplesModuleID, inputFieldName, outputFieldName;

  *() { super(Solver); }

  start {

    crud.excludeFieldsFromEditing('testedWhen, 'score, 'total, 'errorCases);

    crud.multiLineFields = litset('code);

    crud.modifiedField = 'modified;

  }

  afterVisualize {

    addButton(tableDependentButton(table(), "Test Solver", rThread { testSolver(selected(), scorerWithErrors()) }));

    addButton(tableDependentButton(table(), "Show Errors", rThread {

      showText("Errors of solver " + selected().id, sfuLines(safeUnstructList(selected().errorCases)));

    }));

    addButton(jPopDownButton_noText("Show Examples", rThread { dm_makeOrShowModule(examplesModuleID) }));

  }

  Scorer testSolver(Solver solver, Scorer scorer) enter {

    O /*F1<S>*/ f = dm_codeWithHintsToFunctionOnString(solver.code, solver.codeHints);

    L<PairS> examples = dm_importCrudModuleConceptsAsPairs(inputFieldName, outputFieldName, examplesModuleID);

    cset(solver, score := 0.0, testedWhen := now(), total := l(examples));

    for (PairS e : examples) {

      S got = str(pcallF(f, e.a));

      scorer.add(eqic(e.b, got), pair(e, got));

    }

    cset(solver, score := scorer.score, errorCases := struct(scorer.errors));

    ret scorer;

  }

  // API

  void addSolver(S code) {

    uniq_sync(Solver, +code);

  }

}