Method startVisualisation

MiniZincIDE/mainwindow.cpp:3092–3198

}

void MainWindow::startVisualisation(const QString& model, const QStringList& data, const QString& key, const QString& url, const QJsonValue& userData, MznProcess* proc)
{

    QSettings settings;
    settings.beginGroup("ide");
    bool reuseVis = settings.value("reuseVis", false).toBool();
    int httpPort = settings.value("visPort", 3000).toInt();
    int wsPort = settings.value("visWsPort", 3100).toInt();
    bool printUrl = settings.value("printVisUrl", false).toBool();
    settings.endGroup();

    if (server == nullptr) {
        server = new Server(this);
    }
    try {
        server->listen(httpPort, wsPort);
    } catch (ServerError& e) {
        QMessageBox::warning(this, "MiniZinc IDE", e.message(), QMessageBox::Ok);
        return;
    }

    QFileInfo modelFileInfo(model);
    QStringList files({modelFileInfo.fileName()});
    for (auto& df : data) {
        QFileInfo fi(df);
        files << fi.fileName();
    }
    auto workingDir = modelFileInfo.canonicalPath();

    auto label = files.join(", ");
    QStringList roots({workingDir, MznDriver::get().mznStdlibDir()});
    vis_connector = server->addConnector(label, roots);
    connect(vis_connector, &VisConnector::solveRequested, [=] (const QString& modelFile, bool dataFilesGiven, const QStringList& dataFiles, const QVariantMap& options) {
        auto* origSc = getCurrentSolverConfig();
        if (origSc == nullptr) {
            return;
        }
        QStringList df;
        bool modelFileGiven = !modelFile.isEmpty();
        auto m = modelFileGiven ? workingDir + "/" + modelFile : model;
        if (!IDEUtils::isChildPath(workingDir, m)) {
            return;
        }
        if (dataFilesGiven) {
            for (const auto& it : dataFiles) {
                auto d = workingDir + "/" + it;
                if (!IDEUtils::isChildPath(workingDir, d)) {
                    return;
                }
                df << d;
            }
        } else if (!modelFileGiven) {
            // No model, no data, so use previous
            df = data;
        }
        SolverConfiguration rsc(*origSc);
        QMapIterator<QString, QVariant> i(options);
        while (i.hasNext()) {