+
+Diagnostic::Diagnostic():
+ severity(INFO),
+ source(0),
+ line(0),
+ provoking_source(0),
+ provoking_line(0)
+{ }
+
+Diagnostic::Diagnostic(Severity v, int s, unsigned l, const string &m):
+ severity(v),
+ source(s),
+ line(l),
+ provoking_source(s),
+ provoking_line(l),
+ message(m)
+{ }
+