Alexey Sedunov
125 lines
14 KiB
Plaintext
125 lines
14 KiB
Plaintext
== doSmth ==
|
|
fun doSmth() {}
|
|
---------------------
|
|
=====================
|
|
== doSmth1 ==
|
|
fun doSmth1() {}
|
|
---------------------
|
|
=====================
|
|
== doSmth2 ==
|
|
fun doSmth2() {}
|
|
---------------------
|
|
=====================
|
|
== cond ==
|
|
fun cond() {}
|
|
---------------------
|
|
=====================
|
|
== testCopy1 ==
|
|
fun testCopy1() : Int {
|
|
try {
|
|
doSmth()
|
|
}
|
|
catch (e: NullPointerException) {
|
|
doSmth1()
|
|
}
|
|
catch (e: Exception) {
|
|
doSmth2()
|
|
}
|
|
finally {
|
|
return 1
|
|
}
|
|
}
|
|
---------------------
|
|
<v1>: {<: NullPointerException} NEW: magic(e: NullPointerException) -> <v1>
|
|
<v3>: {<: Exception} NEW: magic(e: Exception) -> <v3>
|
|
doSmth() <v0>: * NEW: call(doSmth, doSmth) -> <v0>
|
|
{ doSmth() } <v0>: * COPY
|
|
doSmth1() <v2>: * NEW: call(doSmth1, doSmth1) -> <v2>
|
|
{ doSmth1() } <v2>: * COPY
|
|
doSmth2() <v4>: * NEW: call(doSmth2, doSmth2) -> <v4>
|
|
{ doSmth2() } <v4>: * COPY
|
|
1 <v5>: Int NEW: r(1) -> <v5>
|
|
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 } <v6>: * NEW: merge(try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 }|<v0>, <v2>, <v4>) -> <v6>
|
|
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 } } <v6>: * COPY
|
|
=====================
|
|
== testCopy2 ==
|
|
fun testCopy2() {
|
|
while (cond()) {
|
|
try {
|
|
doSmth()
|
|
}
|
|
catch (e: NullPointerException) {
|
|
doSmth1()
|
|
}
|
|
catch (e: Exception) {
|
|
doSmth2()
|
|
}
|
|
finally {
|
|
if (cond()) return
|
|
else continue
|
|
}
|
|
}
|
|
}
|
|
---------------------
|
|
<v2>: {<: NullPointerException} NEW: magic(e: NullPointerException) -> <v2>
|
|
<v4>: {<: Exception} NEW: magic(e: Exception) -> <v4>
|
|
cond() <v0>: Boolean NEW: call(cond, cond) -> <v0>
|
|
doSmth() <v1>: * NEW: call(doSmth, doSmth) -> <v1>
|
|
{ doSmth() } <v1>: * COPY
|
|
doSmth1() <v3>: * NEW: call(doSmth1, doSmth1) -> <v3>
|
|
{ doSmth1() } <v3>: * COPY
|
|
doSmth2() <v5>: * NEW: call(doSmth2, doSmth2) -> <v5>
|
|
{ doSmth2() } <v5>: * COPY
|
|
cond() <v6>: Boolean NEW: call(cond, cond) -> <v6>
|
|
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } <v7>: * NEW: merge(try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue }|<v1>, <v3>, <v5>) -> <v7>
|
|
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } } <v7>: * COPY
|
|
=====================
|
|
== testCopy3 ==
|
|
fun testCopy3() {
|
|
try {
|
|
doSmth()
|
|
}
|
|
catch (e: NullPointerException) {
|
|
doSmth1()
|
|
}
|
|
catch (e: Exception) {
|
|
doSmth2()
|
|
}
|
|
finally {
|
|
while (cond());
|
|
}
|
|
}
|
|
---------------------
|
|
<v1>: {<: NullPointerException} NEW: magic(e: NullPointerException) -> <v1>
|
|
<v3>: {<: Exception} NEW: magic(e: Exception) -> <v3>
|
|
doSmth() <v0>: * NEW: call(doSmth, doSmth) -> <v0>
|
|
{ doSmth() } <v0>: * COPY
|
|
doSmth1() <v2>: * NEW: call(doSmth1, doSmth1) -> <v2>
|
|
{ doSmth1() } <v2>: * COPY
|
|
doSmth2() <v4>: * NEW: call(doSmth2, doSmth2) -> <v4>
|
|
{ doSmth2() } <v4>: * COPY
|
|
cond() <v5>: Boolean NEW: call(cond, cond) -> <v5>
|
|
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); } <v6>: * NEW: merge(try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); }|<v0>, <v2>, <v4>) -> <v6>
|
|
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); } } <v6>: * COPY
|
|
=====================
|
|
== doTestCopy4 ==
|
|
fun doTestCopy4(list: List<String>?) : Int {
|
|
try {
|
|
doSmth()
|
|
}
|
|
finally {
|
|
if(list != null) {
|
|
}
|
|
}
|
|
}
|
|
---------------------
|
|
<v0>: {<: List<String>?} NEW: magic(list: List<String>?) -> <v0>
|
|
doSmth() <v1>: * NEW: call(doSmth, doSmth) -> <v1>
|
|
{ doSmth() } <v1>: * COPY
|
|
list <v2>: {<: Any?} NEW: r(list) -> <v2>
|
|
null <v3>: {<: Any?} NEW: r(null) -> <v3>
|
|
list != null <v4>: Boolean NEW: call(!=, equals|<v2>, <v3>) -> <v4>
|
|
try { doSmth() } finally { if(list != null) { } } <v1>: * COPY
|
|
{ try { doSmth() } finally { if(list != null) { } } } <v1>: * COPY
|
|
=====================
|