Method compileSolutionChecker

MiniZincIDE/mainwindow.cpp:1024–1087

}

void MainWindow::compileSolutionChecker(const QString& checker)
{
    if (!requireMiniZinc()) {
        return;
    }

    QFileInfo fi(checker);

    QSettings settings;
    settings.beginGroup("ide");
    bool printCommand = settings.value("printCommand", false).toBool();
    settings.endGroup();

    auto proc = new MznProcess(this);
    QStringList args;
    args << "--compile-solution-checker"
         << checker;
    connect(this, &MainWindow::terminating, proc, [=] () {
        proc->terminate();
        proc->deleteLater();
    });
    connect(ui->actionStop, &QAction::triggered, proc, [=] () {
        ui->actionStop->setDisabled(true);
        proc->stop();
        ui->outputWidget->addText("Stopped.");
    });
    connect(proc, &MznProcess::success, [=] (bool cancelled) {
        if (!cancelled) {
            openCompiledFzn(checker.left(checker.size() - 4));
        }
        procFinished(0, proc->elapsedTime());
        ui->outputWidget->endExecution(0, proc->elapsedTime());
    });
    connect(proc, &MznProcess::errorOutput, this, &MainWindow::on_minizincError);
    connect(proc, &MznProcess::warningOutput, this, &MainWindow::on_minizincError);
    connect(proc, &MznProcess::outputStdError, this, [=] (const QString& d) {
        QTextCharFormat f;
        f.setForeground(IDE::instance()->themeManager->current().commentColor.get(darkMode));
        ui->outputWidget->addText(d, f, "Standard Error");
    });
    connect(proc, &MznProcess::finished, [=] () {
        proc->deleteLater();
    });
    connect(proc, &MznProcess::failure, [=](int exitCode, MznProcess::FailureType e) {
        if (e == MznProcess::FailedToStart) {
            QMessageBox::critical(this, "MiniZinc IDE", "Failed to start MiniZinc. Check your path settings.");
            exitCode = 0;
        } else if (e != MznProcess::NonZeroExit) {
            QMetaEnum metaEnum = QMetaEnum::fromType<MznProcess::FailureType>();
            QMessageBox::critical(this, "MiniZinc IDE", "Unknown error while executing MiniZinc: " + QString(metaEnum.valueToKey(e)));
        }
        ui->outputWidget->endExecution(0, proc->elapsedTime());
        procFinished(exitCode, proc->elapsedTime());
    });
    connect(proc, &MznProcess::timeUpdated, this, &MainWindow::statusTimerEvent);
    updateUiProcessRunning(true);
    ui->outputWidget->startExecution(QString("Compiling %1").arg(fi.fileName()));
    proc->start(args, fi.canonicalPath());