hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Add test case for internal member accessed from java

Browse Source
This commit is contained in:
Tamas Vajk
2022-08-30 14:19:12 +02:00
parent f5d43b80ed
commit d9086e6328
4 changed files with 26 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/test/kotlin/library-tests/java_and_kotlin_internal/Java.java Normal file
View File

@@ -0,0 +1,5 @@
public class Java {
void javaFun() {
new Kotlin().kotlinFun$main();
}
}

4
java/ql/test/kotlin/library-tests/java_and_kotlin_internal/Kotlin.kt Normal file
View File

@@ -0,0 +1,4 @@
public class Kotlin {
internal fun kotlinFun() {
}
}

8
java/ql/test/kotlin/library-tests/java_and_kotlin_internal/visibility.expected Normal file
View File

@@ -0,0 +1,8 @@
isPublic
| Kotlin.kt:2:11:3:2 | kotlinFun$main |
isInternal
| Kotlin.kt:2:11:3:2 | kotlinFun$main |
#select
| Kotlin.kt:2:11:3:2 | kotlinFun$main | final |
| Kotlin.kt:2:11:3:2 | kotlinFun$main | internal |
| Kotlin.kt:2:11:3:2 | kotlinFun$main | public |

9
java/ql/test/kotlin/library-tests/java_and_kotlin_internal/visibility.ql Normal file
View File

@@ -0,0 +1,9 @@
import java
from Method m, string s
where m.fromSource() and m.hasModifier(s)
select m, s
query predicate isPublic(Method m) { m.fromSource() and m.isPublic() }
query predicate isInternal(Method m) { m.fromSource() and m.isInternal() }