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

Merge pull request #11090 from smowton/smowton/fix/value-parameter-label-external-class

Browse Source 
Kotlin: drop same-file requirement for overridden parameter labels
This commit is contained in:
Chris Smowton
2022-11-03 10:17:33 +00:00
committed by GitHub
parent 8502939b65 8e240a2e84
commit 44b0f1921f
6 changed files with 24 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/ql/integration-tests/all-platforms/kotlin/jvmoverloads-external-class/test.expected Normal file
View File

@@ -0,0 +1,8 @@
| test.kt:3:17:3:45 | f | test.kt:3:23:3:32 | x |
| test.kt:3:17:3:45 | f | test.kt:3:35:3:40 | y |
| test.kt:3:17:3:45 | f | test.kt:3:35:3:40 | y |
| test.kt:3:17:3:45 | f$default | test.kt:3:17:3:45 | p0 |
| test.kt:3:17:3:45 | f$default | test.kt:3:17:3:45 | p1 |
| test.kt:3:17:3:45 | f$default | test.kt:3:17:3:45 | p2 |
| test.kt:3:17:3:45 | f$default | test.kt:3:17:3:45 | p3 |
| test.kt:3:17:3:45 | f$default | test.kt:3:17:3:45 | p4 |

5
java/ql/integration-tests/all-platforms/kotlin/jvmoverloads-external-class/test.kt Normal file
View File

@@ -0,0 +1,5 @@
public class Test {
@JvmOverloads fun f(x: Int = 0, y: Int) { }
}

4
java/ql/integration-tests/all-platforms/kotlin/jvmoverloads-external-class/test.py Normal file
View File

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

5
java/ql/integration-tests/all-platforms/kotlin/jvmoverloads-external-class/test.ql Normal file
View File

@@ -0,0 +1,5 @@
import java
from Method m
where m.fromSource()
select m, m.getAParameter()

1
java/ql/integration-tests/all-platforms/kotlin/jvmoverloads-external-class/user.kt Normal file
View File

@@ -0,0 +1 @@
val x = Test().f(1, 2)