Andrey Breslav
83 lines
1.6 KiB
Plaintext
83 lines
1.6 KiB
Plaintext
== A ==
|
|
trait A {
|
|
fun foo() : Int
|
|
}
|
|
---------------------
|
|
L0:
|
|
<START>
|
|
L1:
|
|
<END> NEXT:[<SINK>]
|
|
error:
|
|
<ERROR> PREV:[]
|
|
sink:
|
|
<SINK> PREV:[<ERROR>, <END>]
|
|
=====================
|
|
== foo ==
|
|
fun foo() : Int
|
|
---------------------
|
|
L0:
|
|
<START>
|
|
L1:
|
|
<END> NEXT:[<SINK>]
|
|
error:
|
|
<ERROR> PREV:[]
|
|
sink:
|
|
<SINK> PREV:[<ERROR>, <END>]
|
|
=====================
|
|
== B ==
|
|
class B : A {
|
|
override fun foo() = 10
|
|
}
|
|
---------------------
|
|
L0:
|
|
<START>
|
|
unsupported(DELEGATOR_SUPER_CLASS : A)
|
|
L1:
|
|
<END> NEXT:[<SINK>]
|
|
error:
|
|
<ERROR> PREV:[]
|
|
sink:
|
|
<SINK> PREV:[<ERROR>, <END>]
|
|
=====================
|
|
== foo ==
|
|
override fun foo() = 10
|
|
---------------------
|
|
L0:
|
|
<START>
|
|
r(10)
|
|
L1:
|
|
<END> NEXT:[<SINK>]
|
|
error:
|
|
<ERROR> PREV:[]
|
|
sink:
|
|
<SINK> PREV:[<ERROR>, <END>]
|
|
=====================
|
|
== foo ==
|
|
fun foo(b: B) : Int {
|
|
val o = object : A by b {}
|
|
return o.foo()
|
|
}
|
|
---------------------
|
|
L0:
|
|
<START>
|
|
v(b: B)
|
|
w(b)
|
|
mark({ val o = object : A by b {} return o.foo() })
|
|
v(val o = object : A by b {})
|
|
mark(object : A by b {})
|
|
r(b)
|
|
r(object : A by b {})
|
|
w(o)
|
|
mark(o.foo())
|
|
mark(foo())
|
|
r(o)
|
|
call(foo, foo)
|
|
ret(*) L1
|
|
L1:
|
|
<END> NEXT:[<SINK>]
|
|
error:
|
|
<ERROR> PREV:[]
|
|
sink:
|
|
<SINK> PREV:[<ERROR>, <END>]
|
|
=====================
|