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

Kotlin: Autoformat

Browse Source
This commit is contained in:
Ian Lynagh
2022-05-09 22:35:05 +01:00
parent 8b809459d9
commit b5572422df
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/ql/lib/upgrades/37f33da42d2cffa6ad8b26feaa6beed1c5ce3149/diagnostics.ql
View File

@@ -10,4 +10,5 @@ from
Diagnostic d, int severity, string error_tag, string error_message, string full_error_message,
Location l
where diagnostics(d, severity, error_tag, error_message, full_error_message, l)
select d, /* generated_by */ "CodeQL Java extractor", severity, error_tag, error_message, full_error_message, l
select d, /* generated_by */ "CodeQL Java extractor", severity, error_tag, error_message,
full_error_message, l

7
java/ql/src/Diagnostics/DiagnosticsReporting.qll
View File

@@ -48,7 +48,8 @@ private predicate unknownErrors(Diagnostic d, string msg, int sev) {
not knownErrors(d, _, _) and
exists(File f, int diagSev |
d.getSeverity() = diagSev and
d.getLocation().getFile() = f and diagSev > 3
d.getLocation().getFile() = f and
diagSev > 3
|
exists(f.getRelativePath()) and
msg = "Unknown errors in file: " + f.getAbsolutePath() + " (" + diagSev + ")" and
@@ -83,9 +84,7 @@ predicate reportableWarnings(Diagnostic d, string msg, int sev) { knownWarnings(
* no relevant extraction diagnostics associated with it.
*/
predicate successfullyExtracted(CompilationUnit f) {
not exists(Diagnostic d |
reportableDiagnostics(d, _, _) and d.getLocation().getFile() = f
) and
not exists(Diagnostic d | reportableDiagnostics(d, _, _) and d.getLocation().getFile() = f) and
exists(f.getRelativePath()) and
f.fromSource()
}