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

Kotlin: Add abstract to concrete type cast guarded by when

Browse Source
This commit is contained in:
Tamas Vajk
2022-10-25 10:16:37 +02:00
parent b9f1cc5c6f
commit 690d6517d7
3 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/ql/test/kotlin/query-tests/AbstractToConcreteCollection/AbstractToConcreteCollection.expected Normal file
View File

@@ -0,0 +1 @@
| Test.kt:3:9:3:9 | <implicit cast> | $@ is cast to the concrete type $@, losing abstraction. | file:///modules/java.base/java/util/List.class:0:0:0:0 | List | List<Integer> | file:///modules/java.base/java/util/ArrayList.class:0:0:0:0 | ArrayList | ArrayList<Integer> |

1
java/ql/test/kotlin/query-tests/AbstractToConcreteCollection/AbstractToConcreteCollection.qlref Normal file
View File

@@ -0,0 +1 @@
Violations of Best Practice/Implementation Hiding/AbstractToConcreteCollection.ql

5
java/ql/test/kotlin/query-tests/AbstractToConcreteCollection/Test.kt Normal file
View File

@@ -0,0 +1,5 @@
fun fn(m: MutableList<Int>) {
if (m is ArrayList) {
m.ensureCapacity(5)
}
}