Method addSolution

MiniZincIDE/outputwidget.cpp:173–278

}

void OutputWidget::addSolution(const QVariantMap& output, const QStringList& order, qint64 time)
{
    TextLayoutLock lock(this);
    QTextCursor cursor = nextInsertAt();
    if (!_checkerOutput.isEmpty()) {
        cursor.insertText("% Solution checker report:\n", _commentCharFormat);
        for (auto& it : _checkerOutput) {
            auto section = it.first;
            if (section == "raw" || it.second.toString().isEmpty()) {
                continue;
            }
            addSection(section);
            QTextBlockFormat format;
            format.setProperty(Property::Section, section);
            cursor.setBlockFormat(format);
            cursor.block().setVisible(_sections[section]);
            if (section == "html" || section.endsWith("_html")) {
                addHtmlToSection(section, it.second.toString());
            } else {
                auto lines = it.second.toString().split("\n");
                if (lines.last().isEmpty()) {
                    lines.pop_back();
                }
                bool first = true;
                for (auto& line : lines) {
                    addTextToSection(section, (first ? "% " : "\n% ") + line, _commentCharFormat);
                    first = false;
                }
            }
            if (!cursor.block().text().isEmpty()) {
                cursor.insertBlock();
            }
        }
        _checkerOutput.clear();
    }

    for (auto& section : order) {
        if (section == "raw" || output[section].toString().isEmpty()) {
            continue;
        }
        addSection(section);
        QTextBlockFormat format;
        format.setProperty(Property::Section, section);
        cursor.setBlockFormat(format);
        cursor.block().setVisible(_sections[section]);
        if (section == "html" || section.endsWith("_html")) {
            addHtmlToSection(section, output[section].toString());
        } else {
            addTextToSection(section, output[section].toString());
        }
        if (!cursor.block().text().isEmpty()) {
            cursor.insertBlock();
        }
    }
    if (time != -1) {
        QTextBlockFormat f;
        f.setProperty(Property::MessageType, "Timing");
        cursor.setBlockFormat(f);