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

KE2: Add the compilation properly

Browse Source
This commit is contained in:
Ian Lynagh
2024-08-23 14:35:38 +01:00
parent 0f12ec3a72
commit 8b11b65292
2 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/kotlin-extractor2/ke2.sh
View File

@@ -15,6 +15,9 @@ INVOCATION_TRAP=`mktemp -p "$TRAP_DIR" invocation.XXXXXXXXXX.trap`
echo "// Invocation of Kotlin Extractor 2" >> "$INVOCATION_TRAP"
echo "#compilation = *" >> "$INVOCATION_TRAP"
# TODO: This should be properly escaped:
echo "compilations(#compilation, 2, \"`pwd`\",\"$INVOCATION_TRAP\")" >> "$INVOCATION_TRAP"
# TODO: compilation_args
if [[ -n "$CODEQL_JAVA_HOME" ]]; then
JAVA="$CODEQL_JAVA_HOME/bin/java"

2
java/kotlin-extractor2/src/main/kotlin/KotlinExtractor.kt
View File

@@ -81,7 +81,7 @@ OLD: KE1
val diagnosticCounter = DiagnosticCounter()
val loggerBase = LoggerBase(diagnosticCounter)
val dtw = DiagnosticTrapWriter(loggerBase, invocationLabelManager, invocationTrapFileBW)
// The diganostic TRAP file has already defined #compilation = *
// The diagnostic TRAP file has already defined #compilation = *
val compilation: Label<DbCompilation> = StringLabel("compilation")
dtw.writeCompilation_started(compilation)
/*