Method loadDriver

MiniZincIDE/preferencesdialog.cpp:210–286

}

void PreferencesDialog::loadDriver(bool showError)
{
    auto& driver = MznDriver::get();
    auto& solvers = driver.solvers();

    _solversPopulated = false;
    auto dest = ui->solvers_combo->currentIndex();
    bool destExists = dest < solvers.size();
    bool addNew = dest == ui->solvers_combo->count() - 1;
    QString matchId;
    QString matchVersion;
    if (dest == _editingSolverIndex) {
        // Was editing, so use widget values
        matchId = ui->solverId->text();
        matchVersion = ui->version->text();
        destExists = true;
    } else if (destExists) {
        // Switching to different solver
        matchId = solvers[dest]->id;
        matchVersion = solvers[dest]->version;
    }
    try {
        driver.setLocation(ui->mznDistribPath->text());
        ui->mzn2fzn_version->setText(driver.minizincVersionString());
    } catch (Exception& e) {
        if (showError) {
            showMessageBox(e.message());
        }
        ui->mzn2fzn_version->setText(e.message());
    }

    // Load user solver search paths
    ui->extraSearchPath_listWidget->clear();
    ui->configuration_groupBox->setEnabled(driver.isValid());
    _userDefaultFlags.clear();
    auto& userConfigFile = driver.userConfigFile();
    QFile uc(userConfigFile);
    if (uc.exists() && uc.open(QFile::ReadOnly)) {
        QJsonDocument doc = QJsonDocument::fromJson(uc.readAll());
        auto obj = doc.object();
        if (obj.contains("mzn_solver_path")) {
            for (auto it : obj["mzn_solver_path"].toArray()) {
                auto path = it.toString();
                if (!path.isEmpty()) {
                    ui->extraSearchPath_listWidget->addItem(path);
                }
            }
        }
        if (obj.contains("solverDefaults")) {
            for (auto it : obj["solverDefaults"].toArray()) {
                auto arr = it.toArray();
                auto solverId = arr[0].toString();
                auto flag = arr[1].toString();
                _userDefaultFlags.insert(solverId, flag);
            }
        }
    }