| == 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 /* = NullPointerException */} NEW: magic[FAKE_INITIALIZER](e: NullPointerException) -> <v1> |
| <v3>: {<: Exception /* = Exception */} NEW: magic[FAKE_INITIALIZER](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> |
| return 1 !<v6>: * |
| { return 1 } !<v6>: * COPY |
| try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 } <v7>: * NEW: merge(try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 }|<v0>, <v2>, <v4>) -> <v7> |
| { try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 } } <v7>: * COPY |
| ===================== |
| == testCopy2 == |
| fun testCopy2() { |
| while (cond()) { |
| try { |
| doSmth() |
| } |
| catch (e: NullPointerException) { |
| doSmth1() |
| } |
| catch (e: Exception) { |
| doSmth2() |
| } |
| finally { |
| if (cond()) return |
| else continue |
| } |
| } |
| } |
| --------------------- |
| <v2>: {<: NullPointerException /* = NullPointerException */} NEW: magic[FAKE_INITIALIZER](e: NullPointerException) -> <v2> |
| <v4>: {<: Exception /* = Exception */} NEW: magic[FAKE_INITIALIZER](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> |
| return !<v7>: * |
| continue !<v8>: * |
| if (cond()) return else continue <v9>: * NEW: merge(if (cond()) return else continue|!<v7>, !<v8>) -> <v9> |
| { if (cond()) return else continue } <v9>: * COPY |
| try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } <v10>: * NEW: merge(try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue }|<v1>, <v3>, <v5>) -> <v10> |
| { try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } } <v10>: * COPY |
| while (cond()) { try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } } !<v11>: * |
| { while (cond()) { try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } } } !<v11>: * COPY |
| ===================== |
| == testCopy3 == |
| fun testCopy3() { |
| try { |
| doSmth() |
| } |
| catch (e: NullPointerException) { |
| doSmth1() |
| } |
| catch (e: Exception) { |
| doSmth2() |
| } |
| finally { |
| while (cond()); |
| } |
| } |
| --------------------- |
| <v1>: {<: NullPointerException /* = NullPointerException */} NEW: magic[FAKE_INITIALIZER](e: NullPointerException) -> <v1> |
| <v3>: {<: Exception /* = Exception */} NEW: magic[FAKE_INITIALIZER](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> |
| while (cond()) !<v6>: * |
| { while (cond()); } !<v6>: * COPY |
| try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); } <v7>: * NEW: merge(try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); }|<v0>, <v2>, <v4>) -> <v7> |
| { try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); } } <v7>: * COPY |
| ===================== |
| == doTestCopy4 == |
| fun doTestCopy4(list: List<String>?) : Int { |
| try { |
| doSmth() |
| } |
| finally { |
| if(list != null) { |
| } |
| } |
| } |
| --------------------- |
| <v0>: {<: List<String>?} NEW: magic[FAKE_INITIALIZER](list: List<String>?) -> <v0> |
| doSmth() <v1>: * NEW: call(doSmth(), doSmth) -> <v1> |
| { doSmth() } <v1>: * COPY |
| list <v2>: * NEW: r(list) -> <v2> |
| null <v3>: * NEW: r(null) -> <v3> |
| list != null <v4>: Boolean NEW: call(list != null, equals|<v2>, <v3>) -> <v4> |
| { } !<v5>: * |
| if(list != null) { } <v6>: * NEW: merge(if(list != null) { }|!<v5>) -> <v6> |
| { if(list != null) { } } <v6>: * COPY |
| try { doSmth() } finally { if(list != null) { } } <v7>: * NEW: merge(try { doSmth() } finally { if(list != null) { } }|<v1>) -> <v7> |
| { try { doSmth() } finally { if(list != null) { } } } <v7>: * COPY |
| ===================== |
