hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-27 17:58:17 +01:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Run java-interface-redeclares-tostring on all platforms

Browse Source
This commit is contained in:
Ian Lynagh
2022-10-31 14:52:19 +00:00
parent 2796d60d79
commit d3934c97ed
5 changed files with 0 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/integration-tests/all-platforms/kotlin/java-interface-redeclares-tostring/Test.java Normal file
View File

@@ -0,0 +1,5 @@
public interface Test {
String toString();
int hashCode();
boolean equals(Object other);
}

4
java/ql/integration-tests/all-platforms/kotlin/java-interface-redeclares-tostring/test.expected Normal file
View File

@@ -0,0 +1,4 @@
| equals | Test |
| hashCode | Test |
| toString | Test |
| toString | java.lang.CharSequence |

5
java/ql/integration-tests/all-platforms/kotlin/java-interface-redeclares-tostring/test.py Normal file
View File

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

7
java/ql/integration-tests/all-platforms/kotlin/java-interface-redeclares-tostring/test.ql Normal file
View File

@@ -0,0 +1,7 @@
import java
from Method m
where
m.getDeclaringType().getName() = ["Test", "CharSequence"] and
m.getName() = ["toString", "equals", "hashCode"]
select m.getName(), m.getDeclaringType().getQualifiedName()

1
java/ql/integration-tests/all-platforms/kotlin/java-interface-redeclares-tostring/user.kt Normal file
View File

@@ -0,0 +1 @@
fun f(t: Test, cs: CharSequence) = t.toString() + cs.toString() + t.equals(1) + t.hashCode()