Andrey Breslav
43 lines
814 B
Plaintext
43 lines
814 B
Plaintext
== C ==
|
|
class C {
|
|
fun component1() = 1
|
|
fun component2() = 2
|
|
}
|
|
---------------------
|
|
L0:
|
|
<START>
|
|
L1:
|
|
<END> NEXT:[<SINK>]
|
|
error:
|
|
<ERROR> PREV:[]
|
|
sink:
|
|
<SINK> PREV:[<ERROR>, <END>]
|
|
=====================
|
|
== test ==
|
|
fun test(c: C) {
|
|
val (a, b) = c
|
|
val d = 1
|
|
}
|
|
---------------------
|
|
L0:
|
|
<START>
|
|
v(c: C)
|
|
w(c)
|
|
r(c)
|
|
v(a)
|
|
call(a, component1)
|
|
w(a)
|
|
v(b)
|
|
call(b, component2)
|
|
w(b)
|
|
v(val d = 1)
|
|
r(1)
|
|
w(d)
|
|
L1:
|
|
<END> NEXT:[<SINK>]
|
|
error:
|
|
<ERROR> PREV:[]
|
|
sink:
|
|
<SINK> PREV:[<ERROR>, <END>]
|
|
=====================
|