hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 13:45:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Use @diagnostic_error, @diagnostic_warning rather than constants.

Browse Source
This commit is contained in:
Geoffrey White
2024-10-03 12:50:40 +01:00
parent 88abc8f72f
commit da84889242
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
rust/ql/lib/codeql/rust/Diagnostics.qll
View File

@@ -49,11 +49,7 @@ class Diagnostic extends @diagnostic {
}
/** A diagnostic that is error severity. */
class ExtractionError extends Diagnostic {
ExtractionError() { this.getSeverity() = 40 }
}
class ExtractionError extends Diagnostic, @diagnostic_error { }
/** A diagnostic that is warning severity. */
class ExtractionWarning extends Diagnostic {
ExtractionWarning() { this.getSeverity() = 30 }
}
class ExtractionWarning extends Diagnostic, @diagnostic_warning { }