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

Merge pull request #11018 from smowton/smowton/fix/kotlin-extension-specialisation

Browse Source 
Kotlin: specialise extension receivers the same as other function parameters
This commit is contained in:
Chris Smowton
2022-10-28 16:15:41 +01:00
committed by GitHub
parent 2796d60d79 366410ee9e
commit 1914a114a2
6 changed files with 34 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
java/ql/integration-tests/posix-only/kotlin/generic-extension-property/User.java Normal file
View File

@@ -0,0 +1,9 @@
public class User {
public static void test(KotlinClass<String> kc) {
kc.getKotlinVal("Hello world");
}
}

4
java/ql/integration-tests/posix-only/kotlin/generic-extension-property/test.expected Normal file
View File

@@ -0,0 +1,4 @@
| User.java:5:5:5:34 | getKotlinVal(...) | getKotlinVal | String |
| test.kt:8:43:8:78 | with(...) | with | Function1<? super T,? extends R> |
| test.kt:8:43:8:78 | with(...) | with | T |
| test.kt:8:68:8:76 | getKotlinVal(...) | getKotlinVal | String |

8
java/ql/integration-tests/posix-only/kotlin/generic-extension-property/test.kt Normal file
View File

@@ -0,0 +1,8 @@
class KotlinClass<T> {
val T.kotlinVal: Int
get() = 1
}
fun kotlinUser(kc: KotlinClass<String>) = with(kc) { "hello world".kotlinVal }

4
java/ql/integration-tests/posix-only/kotlin/generic-extension-property/test.py Normal file
View File

@@ -0,0 +1,4 @@
from create_database_utils import *
os.mkdir('build')
run_codeql_database_create(["kotlinc test.kt -d build", "javac User.java -cp build"], lang="java")

4
java/ql/integration-tests/posix-only/kotlin/generic-extension-property/test.ql Normal file
View File

@@ -0,0 +1,4 @@
import java
from MethodAccess ma
select ma, ma.getCallee().toString(), ma.getCallee().getAParamType().toString()