Method profileCompiledFzn

MiniZincIDE/mainwindow.cpp:1556–1627

}

void MainWindow::profileCompiledFzn(const QVector<TimingEntry>& timing, const QVector<PathEntry>& paths)
{
    typedef QMap<QString,QVector<BracketData*>> CoverageMap;
    CoverageMap ce_coverage;

    for (int i=0; i<ui->tabWidget->count(); i++) {
        CodeEditor* ce = qobject_cast<CodeEditor*>(ui->tabWidget->widget(i));
        if (ce == nullptr) {
            continue;
        }
        auto path = ce->filepath.isEmpty() ? ce->playgroundTempFile : ce->filepath;
        if (!path.endsWith(".mzn")) {
            continue;
        }
        QTextBlock tb = ce->document()->begin();
        QVector<BracketData*> coverage;
        while (tb.isValid()) {
            BracketData* bd = static_cast<BracketData*>(tb.userData());
            if (bd==nullptr) {
                bd = new BracketData;
                tb.setUserData(bd);
            }
            bd->d.reset();
            coverage.push_back(bd);
            tb = tb.next();
        }
        ce_coverage.insert(path,coverage);
    }

    int totalCons=1;
    int totalVars=1;
    int totalTime=1;
    for (auto& it : paths) {
        int min_line_covered = -1;
        CoverageMap::iterator fileMatch;
        for (auto& segment : it.path().segments()) {
            auto tryMatch = ce_coverage.find(segment.filename);
            if (tryMatch != ce_coverage.end()) {
                fileMatch = tryMatch;
                min_line_covered = segment.firstLine;
            }
        }
        if (min_line_covered > 0 && min_line_covered <= fileMatch.value().size()) {
            if (it.constraintIndex() != -1) {
                fileMatch.value()[min_line_covered-1]->d.con++;
                totalCons++;
            } else {
                fileMatch.value()[min_line_covered-1]->d.var++;
                totalVars++;
            }
        }
    }
    for (auto& it : timing) {
        CoverageMap::iterator fileMatch = ce_coverage.find(it.filename());
        if (fileMatch != ce_coverage.end()) {
            int line_no = it.line();
            if (line_no > 0 && line_no <= fileMatch.value().size()) {
                fileMatch.value()[line_no-1]->d.ms = it.time();