Method endExecution

MiniZincIDE/outputwidget.cpp:430–473

}

void OutputWidget::endExecution(int exitCode, qint64 time)
{
    TextLayoutLock lock(this);

    if (_solutionBuffer != nullptr) {
        auto* doc = _solutionBuffer;
        _solutionBuffer = nullptr;

        // Print compressed solutions
        QTextCursor cursor(doc);
        cursor.setPosition(_lastSolutions[0].position(), QTextCursor::KeepAnchor);
        if (cursor.hasSelection()) {
            auto* t = nextInsertAt().insertTable(1, 2, _headerTableFormat);
            t->cellAt(0, 0).firstCursorPosition().insertText(QString(QChar::ObjectReplacementCharacter), _arrowFormat);
            auto label = QString("[ %1 more solutions ]").arg(_solutionCount - _firstCompressedSolution - 1);
            t->cellAt(0, 1).firstCursorPosition().insertText(label, noticeCharFormat());
            
            auto* f = nextInsertAt().insertFrame(_frameFormat);
            f->firstCursorPosition().insertFragment(QTextDocumentFragment(cursor));
            if (f->lastCursorPosition().block().text().isEmpty()) {
                // Remove trailing newline
                f->lastCursorPosition().deletePreviousChar();
            }
            toggleFrameVisibility(f);
        }

        // Print last solution and final status/stats
        cursor.setPosition(_lastSolutions[0].position());
        cursor.movePosition(QTextCursor::End, QTextCursor::KeepAnchor);
        nextInsertAt().insertFragment(QTextDocumentFragment(cursor));

        delete doc;
    }

    _lastTraceLoc = "";
    if (exitCode != 0) {
        QString msg = "Process finished with non-zero exit code %1.\n";
        nextInsertAt().insertText(msg.arg(exitCode), errorCharFormat());
    }
    auto t = IDEUtils::formatTime(time);
    nextInsertAt().insertText(QString("Finished in %1.").arg(t), noticeCharFormat());
    _statusCursor.insertText(t, infoCharFormat());
    _frame = ui->textBrowser->document()->rootFrame();
}


void OutputWidget::addMessageType(const QString &messageType)