Method TimingEntry

MiniZincIDE/profilecompilation.cpp:37–43

}

TimingEntry::TimingEntry(const QJsonObject& obj)
{
    QFileInfo fi(obj["filename"].toString());
    _filename = fi.canonicalFilePath();
    _line = obj["line"].toInt();
    _time = obj["time"].toInt();
}