Method addConfig

MiniZincIDE/configwindow.cpp:116–159

}

bool ConfigWindow::addConfig(const QString &fileName)
{
    int index = findConfigFile(fileName);
    if (index != -1) {
        // Already have this config
        setCurrentIndex(index);
        return true;
    }

    try {
        QStringList warnings;
        updateSolverConfig(configs[currentIndex()]);
        configs.append(new (SolverConfiguration) (SolverConfiguration::loadJSON(fileName, warnings)));
        for (auto sc : configs) {
            if (!sc->syncedOptionsMatch(*(configs.last()))) {
                populating = true; // Make sure this doesn't mark the config as modified
                ui->sync_checkBox->setChecked(false);
                populating = false;
                break;
            }
        }
        populateComboBox();

        if (ui->sync_checkBox->isChecked()) {
            // Ensure that newly loaded config overrides synced options
            populating = true; // Make sure this doesn't mark the config as modified
            ui->sync_checkBox->setChecked(false);
            populating = false;
            setCurrentIndex(configs.length() - 1);
            populating = true; // Make sure this doesn't mark the config as modified
            ui->sync_checkBox->setChecked(true);
            populating = false;
        }

        if (!warnings.empty()) {
            QMessageBox::warning(this, "MiniZinc IDE", warnings.join("\n"), QMessageBox::Ok);
        }

        return true;
    } catch (Exception& e) {
        QMessageBox::warning(this, "Parameter configuration error", e.message(), QMessageBox::Ok);
        return false;
    }
}

void ConfigWindow::mergeConfigs(const QList<SolverConfiguration*> confs)
{