| 23 | #include "theme.h" |
| 24 | |
| 25 | class CodeEditorError { |
| 26 | public: |
| 27 | int startPos; |
| 28 | int endPos; |
| 29 | QString msg; |
| 30 | CodeEditorError(int startPos0, int endPos0, const QString& msg0) |
| 31 | : startPos(startPos0), endPos(endPos0), msg(msg0) {} |
| 32 | }; |
| 33 | |
| 34 | struct MiniZincError { |
| 35 | bool isWarning; |
nothing calls this directly
no outgoing calls
no test coverage detected