ERR
};
- Severity severity;
- int source;
- unsigned line;
- int provoking_source;
- unsigned provoking_line;
+ Severity severity = INFO;
+ int source = 0;
+ unsigned line = 0;
+ int provoking_source = 0;
+ unsigned provoking_line = 0;
std::string message;
- Diagnostic();
+ Diagnostic() = default;
Diagnostic(Severity, int, unsigned, const std::string &);
};