We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 88abc8f commit da84889Copy full SHA for da84889
rust/ql/lib/codeql/rust/Diagnostics.qll
@@ -49,11 +49,7 @@ class Diagnostic extends @diagnostic {
49
}
50
51
/** A diagnostic that is error severity. */
52
-class ExtractionError extends Diagnostic {
53
- ExtractionError() { this.getSeverity() = 40 }
54
-}
+class ExtractionError extends Diagnostic, @diagnostic_error { }
55
56
/** A diagnostic that is warning severity. */
57
-class ExtractionWarning extends Diagnostic {
58
- ExtractionWarning() { this.getSeverity() = 30 }
59
+class ExtractionWarning extends Diagnostic, @diagnostic_warning { }
0 commit comments