hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Rename the final warn function to diagnostic

Browse Source
This commit is contained in:
Ian Lynagh
2022-02-04 13:21:57 +00:00
parent ee9f9bb07e
commit 48c4438a78
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/kotlin-extractor/src/main/kotlin/utils/Logger.kt
View File

@@ -52,7 +52,7 @@ open class Logger(val logCounter: LogCounter, open val tw: TrapWriter) {
System.out.flush()
}
fun warn(severity: Severity, msg: String, locationString: String? = null, mkLocationId: () -> Label<DbLocation> = { tw.unknownLocation }) {
fun diagnostic(severity: Severity, msg: String, locationString: String? = null, mkLocationId: () -> Label<DbLocation> = { tw.unknownLocation }) {
val diagnosticLoc = getDiagnosticLocation()
val diagnosticLocStr = if(diagnosticLoc == null) "<unknown location>" else diagnosticLoc
val suffix =
@@ -93,13 +93,13 @@ open class Logger(val logCounter: LogCounter, open val tw: TrapWriter) {
trace(msg + " // " + exn)
}
fun warn(msg: String, exn: Exception) {
warn(Severity.Warn, msg + " // " + exn)
warn(msg + " // " + exn)
}
fun warn(msg: String) {
warn(Severity.Warn, msg)
diagnostic(Severity.Warn, msg)
}
fun error(msg: String) {
warn(Severity.Error, msg)
diagnostic(Severity.Error, msg)
}
fun error(msg: String, exn: Exception) {
error(msg + " // " + exn)