KT-38003 "Analyze Data Flow from Here" should work on parameter of abstract method

#KT-38003 Fixed
This commit is contained in:
Valentin Kipyatkov
2020-04-08 14:08:24 +03:00
parent 612629f3cb
commit 2b83e3721a
9 changed files with 86 additions and 3 deletions
@@ -0,0 +1,11 @@
// FLOW: OUT
interface I {
fun foo(<caret>p: Any)
}
class C : I {
override fun foo(p: Any) {
println(p)
}
}
@@ -0,0 +1,3 @@
4 fun foo(<bold>p: Any</bold>)
8 override fun foo(<bold>p: Any</bold>) {
9 println(<bold>p</bold>)
@@ -0,0 +1,15 @@
// FLOW: OUT
interface I {
fun foo(p: Any)
}
class C : I {
override fun foo(p: Any) {
println(p)
}
}
fun bar(i: I, s: String) {
i.foo(<caret>s)
}
@@ -0,0 +1,4 @@
14 i.foo(<bold>s</bold>)
4 fun foo(<bold>p: Any</bold>)
8 override fun foo(<bold>p: Any</bold>) {
9 println(<bold>p</bold>)
+13
View File
@@ -0,0 +1,13 @@
// FLOW: OUT
open class C {
open fun foo(<caret>p: Any) {
println(p)
}
}
class D : C() {
override fun foo(p: Any) {
println(p + 1)
}
}
@@ -0,0 +1,4 @@
4 open fun foo(<bold>p: Any</bold>) {
5 println(<bold>p</bold>)
10 override fun foo(<bold>p: Any</bold>) {
11 println(<bold>p</bold> + 1)