| 25 | } |
| 26 | |
| 27 | PathEntry::PathEntry(const QJsonObject& obj) : _path(obj["path"].toString()) |
| 28 | { |
| 29 | if (obj["constraintIndex"].isUndefined()) { |
| 30 | _flatZincName = obj["flatZincName"].toString(); |
| 31 | _niceName = obj["niceName"].toString(); |
| 32 | } else { |
| 33 | _constraintIndex = obj["constraintIndex"].toInt(); |
| 34 | } |
| 35 | } |
| 36 | |
| 37 | TimingEntry::TimingEntry(const QJsonObject& obj) |
| 38 | { |