Exception typealiases rendering in test output (CFG)
This commit is contained in:
Ilya Gorbunov
+44
-44
@@ -30,19 +30,19 @@ fun testCopy1() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
<v1>: {<: NullPointerException} NEW: magic[FAKE_INITIALIZER](e: NullPointerException) -> <v1>
|
||||
<v3>: {<: 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
|
||||
<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() {
|
||||
@@ -63,24 +63,24 @@ fun testCopy2() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
<v2>: {<: NullPointerException} NEW: magic[FAKE_INITIALIZER](e: NullPointerException) -> <v2>
|
||||
<v4>: {<: 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
|
||||
<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() {
|
||||
@@ -98,19 +98,19 @@ fun testCopy3() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
<v1>: {<: NullPointerException} NEW: magic[FAKE_INITIALIZER](e: NullPointerException) -> <v1>
|
||||
<v3>: {<: 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
|
||||
<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 {
|
||||
|
||||
Reference in New Issue
Block a user