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

WIP: IrAnonymousInitializer/IrInstanceInitializerCall

Browse Source
This commit is contained in:
Tamas Vajk
2021-09-20 16:17:26 +02:00
committed by Ian Lynagh
parent 91eafafcc3
commit 9587e91f71
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
java/kotlin-extractor/src/main/kotlin/KotlinExtractorExtension.kt
View File

@@ -212,6 +212,13 @@ class KotlinFileExtractor(val logger: FileLogger, val tw: FileTrapWriter, val fi
when (declaration) {
is IrClass -> extractClass(declaration)
is IrFunction -> extractFunction(declaration, if (optParentid.isPresent()) optParentid.get() else fileClass)
is IrAnonymousInitializer -> {
// todo: how do we want to represent this?
// there could be multiple 'init' blocks inside a declaration.
// We could add a generated 'init' method, with all the statements inside the blocks.
// In Kotlin/JVM, the statements inside 'init' blocks get copied to the default constructor, or if there's no default then to all of them.
logger.warnElement(Severity.ErrorSevere, "Todo: handle IrAnonymousInitializer", declaration)
}
is IrProperty -> extractProperty(declaration, if (optParentid.isPresent()) optParentid.get() else fileClass)
else -> logger.warnElement(Severity.ErrorSevere, "Unrecognised IrDeclaration: " + declaration.javaClass, declaration)
}
@@ -669,6 +676,13 @@ class KotlinFileExtractor(val logger: FileLogger, val tw: FileTrapWriter, val fi
fun extractExpression(e: IrExpression, callable: Label<out DbCallable>, irCallable: IrFunction, parent: Label<out DbExprparent>, idx: Int) {
when(e) {
is IrInstanceInitializerCall -> {
// todo: how do we want to handle this?
// In Kotlin/JVM, this seems like a no-op.
if (e.classSymbol.owner.declarations.any { it is IrAnonymousInitializer }) {
// we could add a call to a generated 'init' function.
}
}
is IrDelegatingConstructorCall -> {
val delegatingClass = e.symbol.owner.parent as IrClass
val currentClass = (irCallable as IrDeclaration).parent as IrClass