Method onStdOutLine

MiniZincIDE/process.cpp:535–638

}

void MznProcess::onStdOutLine(const QString& line)
{
    emit outputStdOut(line);

    if (!parse) {
        // Not running with --json-stream, so cannot parse output
        emit unknownOutput(line);
        return;
    }

    QJsonParseError error;
    auto json = QJsonDocument::fromJson(line.toUtf8(), &error);
    if (!json.isNull()) {
        auto msg = json.object();
        auto msg_type = msg["type"].toString();
        if (msg_type == "solution") {
            auto sections = msg["output"].toObject().toVariantMap();
            QStringList order;
            if (msg["sections"].isArray()) {
                for (auto it : msg["sections"].toArray()) {
                    order << it.toString();
                }
            } else {
                order = sections.keys();
            }
            qint64 time = msg["time"].isDouble() ? static_cast<qint64>(msg["time"].toDouble()) : -1;
            emit solutionOutput(sections, order, time);
        } else if (msg_type == "checker") {
            auto checkerSol = [&] (QJsonObject& msg) {
                auto sections = msg["output"].toObject().toVariantMap();
                QStringList order;
                if (msg["sections"].isArray()) {
                    for (auto it : msg["sections"].toArray()) {
                        order << it.toString();
                    }
                } else {
                    order = sections.keys();
                }
                qint64 time = msg["time"].isDouble() ? static_cast<qint64>(msg["time"].toDouble()) : -1;
                emit checkerOutput(sections, order, time);
            };

            if (msg["messages"].isArray()) {
                for (auto it : msg["messages"].toArray()) {
                    auto msg = it.toObject();
                    auto msg_type = msg["type"].toString();
                    if (msg_type == "solution") {
                        checkerSol(msg);
                    } else if (msg_type == "trace") {
                        auto section = msg["section"].toString();
                        qint64 time = msg["time"].isDouble() ? static_cast<qint64>(msg["time"].toDouble()) : -1;
                        emit checkerOutput({{section, msg["message"].toString()}}, {section}, time);
                    } else if (msg_type == "comment") {
                        auto comment = msg["comment"].toString();
                        emit commentOutput(comment);
                    } else if (msg_type == "warning") {
                        emit warningOutput(msg, true);
                    } else if (msg_type == "error") {