Pseudocode: Add valued instructions and unbound values to AbstractPseudoValueTest
This commit is contained in:
Alexey Sedunov
@@ -7,12 +7,12 @@ fun t1() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: * NEW()
|
||||
{ 1 } <v0>: * COPY
|
||||
2 <v1>: * NEW()
|
||||
{ 2 } <v1>: * COPY
|
||||
try { 1 } finally { 2 } <v0>: * COPY
|
||||
{ try { 1 } finally { 2 } } <v0>: * COPY
|
||||
1 <v0>: * NEW: r(1) -> <v0>
|
||||
{ 1 } <v0>: * COPY
|
||||
2 <v1>: * NEW: r(2) -> <v1>
|
||||
{ 2 } <v1>: * COPY
|
||||
try { 1 } finally { 2 } <v0>: * COPY
|
||||
{ try { 1 } finally { 2 } } <v0>: * COPY
|
||||
=====================
|
||||
== t2 ==
|
||||
fun t2() {
|
||||
@@ -26,12 +26,12 @@ fun t2() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: * NEW()
|
||||
2 <v1>: {<: Comparable<Int>} NEW()
|
||||
3 <v2>: Int NEW()
|
||||
2 > 3 <v3>: Boolean NEW(<v1>, <v2>)
|
||||
2 <v4>: * NEW()
|
||||
{ 2 } <v4>: * COPY
|
||||
1 <v0>: * NEW: r(1) -> <v0>
|
||||
2 <v1>: {<: Comparable<Int>} NEW: r(2) -> <v1>
|
||||
3 <v2>: Int NEW: r(3) -> <v2>
|
||||
2 > 3 <v3>: Boolean NEW: call(>, compareTo|<v1>, <v2>) -> <v3>
|
||||
2 <v4>: * NEW: r(2) -> <v4>
|
||||
{ 2 } <v4>: * COPY
|
||||
=====================
|
||||
== t3 ==
|
||||
fun t3() {
|
||||
@@ -47,14 +47,14 @@ fun t3() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: * NEW()
|
||||
{ () -> if (2 > 3) { return@l } } <v1>: * NEW()
|
||||
@l{ () -> if (2 > 3) { return@l } } <v1>: * COPY
|
||||
{ 1 @l{ () -> if (2 > 3) { return@l } } } <v1>: * COPY
|
||||
2 <v2>: * NEW()
|
||||
{ 2 } <v2>: * COPY
|
||||
try { 1 @l{ () -> if (2 > 3) { return@l } } } finally { 2 } <v1>: * COPY
|
||||
{ try { 1 @l{ () -> if (2 > 3) { return@l } } } finally { 2 } } <v1>: * COPY
|
||||
1 <v0>: * NEW: r(1) -> <v0>
|
||||
{ () -> if (2 > 3) { return@l } } <v1>: * NEW: r({ () -> if (2 > 3) { return@l } }) -> <v1>
|
||||
@l{ () -> if (2 > 3) { return@l } } <v1>: * COPY
|
||||
{ 1 @l{ () -> if (2 > 3) { return@l } } } <v1>: * COPY
|
||||
2 <v2>: * NEW: r(2) -> <v2>
|
||||
{ 2 } <v2>: * COPY
|
||||
try { 1 @l{ () -> if (2 > 3) { return@l } } } finally { 2 } <v1>: * COPY
|
||||
{ try { 1 @l{ () -> if (2 > 3) { return@l } } } finally { 2 } } <v1>: * COPY
|
||||
=====================
|
||||
== anonymous_0 ==
|
||||
{ () ->
|
||||
@@ -63,9 +63,9 @@ try { 1 @l{ () -> if (2 > 3) { return@l } } } finally { 2 } <v1>: * COPY
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
2 <v0>: {<: Comparable<Int>} NEW()
|
||||
3 <v1>: Int NEW()
|
||||
2 > 3 <v2>: Boolean NEW(<v0>, <v1>)
|
||||
2 <v0>: {<: Comparable<Int>} NEW: r(2) -> <v0>
|
||||
3 <v1>: Int NEW: r(3) -> <v1>
|
||||
2 > 3 <v2>: Boolean NEW: call(>, compareTo|<v0>, <v1>) -> <v2>
|
||||
=====================
|
||||
== t4 ==
|
||||
fun t4() {
|
||||
@@ -81,9 +81,9 @@ fun t4() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
{ () -> try { 1 if (2 > 3) { return@l } } finally { 2 } } <v0>: * NEW()
|
||||
@l{ () -> try { 1 if (2 > 3) { return@l } } finally { 2 } } <v0>: * COPY
|
||||
{ @l{ () -> try { 1 if (2 > 3) { return@l } } finally { 2 } } } <v0>: * COPY
|
||||
{ () -> try { 1 if (2 > 3) { return@l } } finally { 2 } } <v0>: * NEW: r({ () -> try { 1 if (2 > 3) { return@l } } finally { 2 } }) -> <v0>
|
||||
@l{ () -> try { 1 if (2 > 3) { return@l } } finally { 2 } } <v0>: * COPY
|
||||
{ @l{ () -> try { 1 if (2 > 3) { return@l } } finally { 2 } } } <v0>: * COPY
|
||||
=====================
|
||||
== anonymous_1 ==
|
||||
{ () ->
|
||||
@@ -97,12 +97,12 @@ fun t4() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: * NEW()
|
||||
2 <v1>: {<: Comparable<Int>} NEW()
|
||||
3 <v2>: Int NEW()
|
||||
2 > 3 <v3>: Boolean NEW(<v1>, <v2>)
|
||||
2 <v4>: * NEW()
|
||||
{ 2 } <v4>: * COPY
|
||||
1 <v0>: * NEW: r(1) -> <v0>
|
||||
2 <v1>: {<: Comparable<Int>} NEW: r(2) -> <v1>
|
||||
3 <v2>: Int NEW: r(3) -> <v2>
|
||||
2 > 3 <v3>: Boolean NEW: call(>, compareTo|<v1>, <v2>) -> <v3>
|
||||
2 <v4>: * NEW: r(2) -> <v4>
|
||||
{ 2 } <v4>: * COPY
|
||||
=====================
|
||||
== t5 ==
|
||||
fun t5() {
|
||||
@@ -118,13 +118,13 @@ fun t5() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
true <v0>: * NEW()
|
||||
1 <v1>: * NEW()
|
||||
2 <v2>: {<: Comparable<Int>} NEW()
|
||||
3 <v3>: Int NEW()
|
||||
2 > 3 <v4>: Boolean NEW(<v2>, <v3>)
|
||||
2 <v5>: * NEW()
|
||||
{ 2 } <v5>: * COPY
|
||||
true <v0>: * NEW: r(true) -> <v0>
|
||||
1 <v1>: * NEW: r(1) -> <v1>
|
||||
2 <v2>: {<: Comparable<Int>} NEW: r(2) -> <v2>
|
||||
3 <v3>: Int NEW: r(3) -> <v3>
|
||||
2 > 3 <v4>: Boolean NEW: call(>, compareTo|<v2>, <v3>) -> <v4>
|
||||
2 <v5>: * NEW: r(2) -> <v5>
|
||||
{ 2 } <v5>: * COPY
|
||||
=====================
|
||||
== t6 ==
|
||||
fun t6() {
|
||||
@@ -141,17 +141,17 @@ fun t6() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
true <v0>: * NEW()
|
||||
1 <v1>: * NEW()
|
||||
2 <v2>: {<: Comparable<Int>} NEW()
|
||||
3 <v3>: Int NEW()
|
||||
2 > 3 <v4>: Boolean NEW(<v2>, <v3>)
|
||||
5 <v5>: * NEW()
|
||||
{ @l while(true) { 1 if (2 > 3) { break @l } } 5 } <v5>: * COPY
|
||||
2 <v6>: * NEW()
|
||||
{ 2 } <v6>: * COPY
|
||||
try { @l while(true) { 1 if (2 > 3) { break @l } } 5 } finally { 2 } <v5>: * COPY
|
||||
{ try { @l while(true) { 1 if (2 > 3) { break @l } } 5 } finally { 2 } } <v5>: * COPY
|
||||
true <v0>: * NEW: r(true) -> <v0>
|
||||
1 <v1>: * NEW: r(1) -> <v1>
|
||||
2 <v2>: {<: Comparable<Int>} NEW: r(2) -> <v2>
|
||||
3 <v3>: Int NEW: r(3) -> <v3>
|
||||
2 > 3 <v4>: Boolean NEW: call(>, compareTo|<v2>, <v3>) -> <v4>
|
||||
5 <v5>: * NEW: r(5) -> <v5>
|
||||
{ @l while(true) { 1 if (2 > 3) { break @l } } 5 } <v5>: * COPY
|
||||
2 <v6>: * NEW: r(2) -> <v6>
|
||||
{ 2 } <v6>: * COPY
|
||||
try { @l while(true) { 1 if (2 > 3) { break @l } } 5 } finally { 2 } <v5>: * COPY
|
||||
{ try { @l while(true) { 1 if (2 > 3) { break @l } } 5 } finally { 2 } } <v5>: * COPY
|
||||
=====================
|
||||
== t7 ==
|
||||
fun t7() {
|
||||
@@ -167,13 +167,13 @@ fun t7() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
true <v0>: * NEW()
|
||||
1 <v1>: * NEW()
|
||||
2 <v2>: {<: Comparable<Int>} NEW()
|
||||
3 <v3>: Int NEW()
|
||||
2 > 3 <v4>: Boolean NEW(<v2>, <v3>)
|
||||
2 <v5>: * NEW()
|
||||
{ 2 } <v5>: * COPY
|
||||
true <v0>: * NEW: r(true) -> <v0>
|
||||
1 <v1>: * NEW: r(1) -> <v1>
|
||||
2 <v2>: {<: Comparable<Int>} NEW: r(2) -> <v2>
|
||||
3 <v3>: Int NEW: r(3) -> <v3>
|
||||
2 > 3 <v4>: Boolean NEW: call(>, compareTo|<v2>, <v3>) -> <v4>
|
||||
2 <v5>: * NEW: r(2) -> <v5>
|
||||
{ 2 } <v5>: * COPY
|
||||
=====================
|
||||
== t8 ==
|
||||
fun t8(a : Int) {
|
||||
@@ -189,15 +189,17 @@ fun t8(a : Int) {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v1>: Int NEW()
|
||||
a <v2>: Int NEW()
|
||||
1..a <v3>: {<: Iterable<Int>} NEW(<v1>, <v2>)
|
||||
1 <v5>: * NEW()
|
||||
2 <v6>: {<: Comparable<Int>} NEW()
|
||||
3 <v7>: Int NEW()
|
||||
2 > 3 <v8>: Boolean NEW(<v6>, <v7>)
|
||||
2 <v9>: * NEW()
|
||||
{ 2 } <v9>: * COPY
|
||||
<v0>: Int NEW: magic(a : Int) -> <v0>
|
||||
<v4>: Int NEW: magic(1..a|<v3>) -> <v4>
|
||||
1 <v1>: Int NEW: r(1) -> <v1>
|
||||
a <v2>: Int NEW: r(a) -> <v2>
|
||||
1..a <v3>: {<: Iterable<Int>} NEW: call(.., rangeTo|<v1>, <v2>) -> <v3>
|
||||
1 <v5>: * NEW: r(1) -> <v5>
|
||||
2 <v6>: {<: Comparable<Int>} NEW: r(2) -> <v6>
|
||||
3 <v7>: Int NEW: r(3) -> <v7>
|
||||
2 > 3 <v8>: Boolean NEW: call(>, compareTo|<v6>, <v7>) -> <v8>
|
||||
2 <v9>: * NEW: r(2) -> <v9>
|
||||
{ 2 } <v9>: * COPY
|
||||
=====================
|
||||
== t9 ==
|
||||
fun t9(a : Int) {
|
||||
@@ -214,19 +216,21 @@ fun t9(a : Int) {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v1>: Int NEW()
|
||||
a <v2>: Int NEW()
|
||||
1..a <v3>: {<: Iterable<Int>} NEW(<v1>, <v2>)
|
||||
1 <v5>: * NEW()
|
||||
2 <v6>: {<: Comparable<Int>} NEW()
|
||||
3 <v7>: Int NEW()
|
||||
2 > 3 <v8>: Boolean NEW(<v6>, <v7>)
|
||||
5 <v9>: * NEW()
|
||||
{ @l for (i in 1..a) { 1 if (2 > 3) { continue @l } } 5 } <v9>: * COPY
|
||||
2 <v10>: * NEW()
|
||||
{ 2 } <v10>: * COPY
|
||||
try { @l for (i in 1..a) { 1 if (2 > 3) { continue @l } } 5 } finally { 2 } <v9>: * COPY
|
||||
{ try { @l for (i in 1..a) { 1 if (2 > 3) { continue @l } } 5 } finally { 2 } } <v9>: * COPY
|
||||
<v0>: Int NEW: magic(a : Int) -> <v0>
|
||||
<v4>: Int NEW: magic(1..a|<v3>) -> <v4>
|
||||
1 <v1>: Int NEW: r(1) -> <v1>
|
||||
a <v2>: Int NEW: r(a) -> <v2>
|
||||
1..a <v3>: {<: Iterable<Int>} NEW: call(.., rangeTo|<v1>, <v2>) -> <v3>
|
||||
1 <v5>: * NEW: r(1) -> <v5>
|
||||
2 <v6>: {<: Comparable<Int>} NEW: r(2) -> <v6>
|
||||
3 <v7>: Int NEW: r(3) -> <v7>
|
||||
2 > 3 <v8>: Boolean NEW: call(>, compareTo|<v6>, <v7>) -> <v8>
|
||||
5 <v9>: * NEW: r(5) -> <v9>
|
||||
{ @l for (i in 1..a) { 1 if (2 > 3) { continue @l } } 5 } <v9>: * COPY
|
||||
2 <v10>: * NEW: r(2) -> <v10>
|
||||
{ 2 } <v10>: * COPY
|
||||
try { @l for (i in 1..a) { 1 if (2 > 3) { continue @l } } 5 } finally { 2 } <v9>: * COPY
|
||||
{ try { @l for (i in 1..a) { 1 if (2 > 3) { continue @l } } 5 } finally { 2 } } <v9>: * COPY
|
||||
=====================
|
||||
== t10 ==
|
||||
fun t10(a : Int) {
|
||||
@@ -242,15 +246,17 @@ fun t10(a : Int) {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v1>: Int NEW()
|
||||
a <v2>: Int NEW()
|
||||
1..a <v3>: {<: Iterable<Int>} NEW(<v1>, <v2>)
|
||||
1 <v5>: * NEW()
|
||||
2 <v6>: {<: Comparable<Int>} NEW()
|
||||
3 <v7>: Int NEW()
|
||||
2 > 3 <v8>: Boolean NEW(<v6>, <v7>)
|
||||
2 <v9>: * NEW()
|
||||
{ 2 } <v9>: * COPY
|
||||
<v0>: Int NEW: magic(a : Int) -> <v0>
|
||||
<v4>: Int NEW: magic(1..a|<v3>) -> <v4>
|
||||
1 <v1>: Int NEW: r(1) -> <v1>
|
||||
a <v2>: Int NEW: r(a) -> <v2>
|
||||
1..a <v3>: {<: Iterable<Int>} NEW: call(.., rangeTo|<v1>, <v2>) -> <v3>
|
||||
1 <v5>: * NEW: r(1) -> <v5>
|
||||
2 <v6>: {<: Comparable<Int>} NEW: r(2) -> <v6>
|
||||
3 <v7>: Int NEW: r(3) -> <v7>
|
||||
2 > 3 <v8>: Boolean NEW: call(>, compareTo|<v6>, <v7>) -> <v8>
|
||||
2 <v9>: * NEW: r(2) -> <v9>
|
||||
{ 2 } <v9>: * COPY
|
||||
=====================
|
||||
== t11 ==
|
||||
fun t11() {
|
||||
@@ -262,8 +268,8 @@ fun t11() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: * NEW()
|
||||
2 <v1>: Unit NEW()
|
||||
1 <v0>: * NEW: r(1) -> <v0>
|
||||
2 <v1>: Unit NEW: r(2) -> <v1>
|
||||
=====================
|
||||
== t12 ==
|
||||
fun t12() : Int {
|
||||
@@ -275,10 +281,10 @@ fun t12() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: Int NEW()
|
||||
3 <v1>: Int NEW()
|
||||
doSmth(3) <v2>: * NEW(<v1>)
|
||||
{ doSmth(3) } <v2>: * COPY
|
||||
1 <v0>: Int NEW: r(1) -> <v0>
|
||||
3 <v1>: Int NEW: r(3) -> <v1>
|
||||
doSmth(3) <v2>: * NEW: call(doSmth, doSmth|<v1>) -> <v2>
|
||||
{ doSmth(3) } <v2>: * COPY
|
||||
=====================
|
||||
== t13 ==
|
||||
fun t13() : Int {
|
||||
@@ -293,15 +299,16 @@ fun t13() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: Int NEW()
|
||||
2 <v4>: Int NEW()
|
||||
doSmth(2) <v5>: * NEW(<v4>)
|
||||
{ doSmth(2) } <v5>: * COPY
|
||||
3 <v1>: Int NEW()
|
||||
doSmth(3) <v2>: * NEW(<v1>)
|
||||
{ doSmth(3) } <v2>: * COPY
|
||||
try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } finally { doSmth(3) } <v5>: * COPY
|
||||
{ try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } finally { doSmth(3) } } <v5>: * COPY
|
||||
<v3>: {<: UnsupportedOperationException} NEW: magic(e: UnsupportedOperationException) -> <v3>
|
||||
1 <v0>: Int NEW: r(1) -> <v0>
|
||||
2 <v4>: Int NEW: r(2) -> <v4>
|
||||
doSmth(2) <v5>: * NEW: call(doSmth, doSmth|<v4>) -> <v5>
|
||||
{ doSmth(2) } <v5>: * COPY
|
||||
3 <v1>: Int NEW: r(3) -> <v1>
|
||||
doSmth(3) <v2>: * NEW: call(doSmth, doSmth|<v1>) -> <v2>
|
||||
{ doSmth(3) } <v2>: * COPY
|
||||
try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } finally { doSmth(3) } <v5>: * COPY
|
||||
{ try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } finally { doSmth(3) } } <v5>: * COPY
|
||||
=====================
|
||||
== t14 ==
|
||||
fun t14() : Int {
|
||||
@@ -313,12 +320,13 @@ fun t14() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: Int NEW()
|
||||
2 <v2>: Int NEW()
|
||||
doSmth(2) <v3>: * NEW(<v2>)
|
||||
{ doSmth(2) } <v3>: * COPY
|
||||
try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } <v3>: * COPY
|
||||
{ try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } } <v3>: * COPY
|
||||
<v1>: {<: UnsupportedOperationException} NEW: magic(e: UnsupportedOperationException) -> <v1>
|
||||
1 <v0>: Int NEW: r(1) -> <v0>
|
||||
2 <v2>: Int NEW: r(2) -> <v2>
|
||||
doSmth(2) <v3>: * NEW: call(doSmth, doSmth|<v2>) -> <v3>
|
||||
{ doSmth(2) } <v3>: * COPY
|
||||
try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } <v3>: * COPY
|
||||
{ try { return 1 } catch (e: UnsupportedOperationException) { doSmth(2) } } <v3>: * COPY
|
||||
=====================
|
||||
== t15 ==
|
||||
fun t15() : Int {
|
||||
@@ -333,11 +341,12 @@ fun t15() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: Int NEW()
|
||||
2 <v4>: Int NEW()
|
||||
3 <v1>: Int NEW()
|
||||
doSmth(3) <v2>: * NEW(<v1>)
|
||||
{ doSmth(3) } <v2>: * COPY
|
||||
<v3>: {<: UnsupportedOperationException} NEW: magic(e: UnsupportedOperationException) -> <v3>
|
||||
1 <v0>: Int NEW: r(1) -> <v0>
|
||||
2 <v4>: Int NEW: r(2) -> <v4>
|
||||
3 <v1>: Int NEW: r(3) -> <v1>
|
||||
doSmth(3) <v2>: * NEW: call(doSmth, doSmth|<v1>) -> <v2>
|
||||
{ doSmth(3) } <v2>: * COPY
|
||||
=====================
|
||||
== t16 ==
|
||||
fun t16() : Int {
|
||||
@@ -352,18 +361,20 @@ fun t16() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: Int NEW()
|
||||
doSmth(1) <v1>: * NEW(<v0>)
|
||||
{ doSmth(1) } <v1>: * COPY
|
||||
2 <v3>: Int NEW()
|
||||
3 <v4>: Int NEW()
|
||||
doSmth(3) <v5>: * NEW(<v4>)
|
||||
{ doSmth(3) } <v5>: * COPY
|
||||
try { doSmth(1) } catch (e: UnsupportedOperationException) { return 2 } finally { doSmth(3) } <v1>: * COPY
|
||||
{ try { doSmth(1) } catch (e: UnsupportedOperationException) { return 2 } finally { doSmth(3) } } <v1>: * COPY
|
||||
<v2>: {<: UnsupportedOperationException} NEW: magic(e: UnsupportedOperationException) -> <v2>
|
||||
1 <v0>: Int NEW: r(1) -> <v0>
|
||||
doSmth(1) <v1>: * NEW: call(doSmth, doSmth|<v0>) -> <v1>
|
||||
{ doSmth(1) } <v1>: * COPY
|
||||
2 <v3>: Int NEW: r(2) -> <v3>
|
||||
3 <v4>: Int NEW: r(3) -> <v4>
|
||||
doSmth(3) <v5>: * NEW: call(doSmth, doSmth|<v4>) -> <v5>
|
||||
{ doSmth(3) } <v5>: * COPY
|
||||
try { doSmth(1) } catch (e: UnsupportedOperationException) { return 2 } finally { doSmth(3) } <v1>: * COPY
|
||||
{ try { doSmth(1) } catch (e: UnsupportedOperationException) { return 2 } finally { doSmth(3) } } <v1>: * COPY
|
||||
=====================
|
||||
== doSmth ==
|
||||
fun doSmth(i: Int) {
|
||||
}
|
||||
---------------------
|
||||
<v0>: Int NEW: magic(i: Int) -> <v0>
|
||||
=====================
|
||||
|
||||
@@ -30,15 +30,17 @@ fun testCopy1() : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
doSmth() <v0>: * NEW()
|
||||
{ doSmth() } <v0>: * COPY
|
||||
doSmth1() <v2>: * NEW()
|
||||
{ doSmth1() } <v2>: * COPY
|
||||
doSmth2() <v4>: * NEW()
|
||||
{ doSmth2() } <v4>: * COPY
|
||||
1 <v5>: Int NEW()
|
||||
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 } <v6>: * NEW(<v0>, <v2>, <v4>)
|
||||
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { return 1 } } <v6>: * COPY
|
||||
<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() {
|
||||
@@ -59,16 +61,18 @@ fun testCopy2() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
cond() <v0>: Boolean NEW()
|
||||
doSmth() <v1>: * NEW()
|
||||
{ doSmth() } <v1>: * COPY
|
||||
doSmth1() <v3>: * NEW()
|
||||
{ doSmth1() } <v3>: * COPY
|
||||
doSmth2() <v5>: * NEW()
|
||||
{ doSmth2() } <v5>: * COPY
|
||||
cond() <v6>: Boolean NEW()
|
||||
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } <v7>: * NEW(<v1>, <v3>, <v5>)
|
||||
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { if (cond()) return else continue } } <v7>: * COPY
|
||||
<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() {
|
||||
@@ -86,15 +90,17 @@ fun testCopy3() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
doSmth() <v0>: * NEW()
|
||||
{ doSmth() } <v0>: * COPY
|
||||
doSmth1() <v2>: * NEW()
|
||||
{ doSmth1() } <v2>: * COPY
|
||||
doSmth2() <v4>: * NEW()
|
||||
{ doSmth2() } <v4>: * COPY
|
||||
cond() <v5>: Boolean NEW()
|
||||
try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); } <v6>: * NEW(<v0>, <v2>, <v4>)
|
||||
{ try { doSmth() } catch (e: NullPointerException) { doSmth1() } catch (e: Exception) { doSmth2() } finally { while (cond()); } } <v6>: * COPY
|
||||
<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 {
|
||||
@@ -107,11 +113,12 @@ fun doTestCopy4(list: List<String>?) : Int {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
doSmth() <v1>: * NEW()
|
||||
{ doSmth() } <v1>: * COPY
|
||||
list <v2>: {<: Any?} NEW()
|
||||
null <v3>: {<: Any?} NEW()
|
||||
list != null <v4>: Boolean NEW(<v2>, <v3>)
|
||||
try { doSmth() } finally { if(list != null) { } } <v1>: * COPY
|
||||
{ try { doSmth() } finally { if(list != null) { } } } <v1>: * COPY
|
||||
<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
|
||||
=====================
|
||||
|
||||
@@ -5,14 +5,16 @@ fun t1() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
1 <v0>: Int NEW()
|
||||
2 <v1>: Int NEW()
|
||||
1..2 <v2>: {<: Iterable<Int>} NEW(<v0>, <v1>)
|
||||
i <v4>: Int NEW()
|
||||
doSmth(i) <v5>: * NEW(<v4>)
|
||||
{ doSmth(i) } <v5>: * COPY
|
||||
<v3>: Int NEW: magic(1..2|<v2>) -> <v3>
|
||||
1 <v0>: Int NEW: r(1) -> <v0>
|
||||
2 <v1>: Int NEW: r(2) -> <v1>
|
||||
1..2 <v2>: {<: Iterable<Int>} NEW: call(.., rangeTo|<v0>, <v1>) -> <v2>
|
||||
i <v4>: Int NEW: r(i) -> <v4>
|
||||
doSmth(i) <v5>: * NEW: call(doSmth, doSmth|<v4>) -> <v5>
|
||||
{ doSmth(i) } <v5>: * COPY
|
||||
=====================
|
||||
== doSmth ==
|
||||
fun doSmth(i: Int) {}
|
||||
---------------------
|
||||
<v0>: Int NEW: magic(i: Int) -> <v0>
|
||||
=====================
|
||||
|
||||
@@ -16,16 +16,17 @@ fun t1(b: Boolean) {
|
||||
doSmth(r)
|
||||
}
|
||||
---------------------
|
||||
b <v1>: Boolean NEW()
|
||||
"s" <v2>: String NEW()
|
||||
u <v3>: String NEW()
|
||||
doSmth(u) <v4>: * NEW(<v3>)
|
||||
b <v5>: Boolean NEW()
|
||||
"s" <v6>: String NEW()
|
||||
"t" <v7>: String NEW()
|
||||
r <v8>: String NEW()
|
||||
doSmth(r) <v9>: * NEW(<v8>)
|
||||
{ var u: String if (b) { u = "s" } doSmth(u) var r: String if (b) { r = "s" } else { r = "t" } doSmth(r) } <v9>: * COPY
|
||||
<v0>: Boolean NEW: magic(b: Boolean) -> <v0>
|
||||
b <v1>: Boolean NEW: r(b) -> <v1>
|
||||
"s" <v2>: String NEW: r("s") -> <v2>
|
||||
u <v3>: String NEW: r(u) -> <v3>
|
||||
doSmth(u) <v4>: * NEW: call(doSmth, doSmth|<v3>) -> <v4>
|
||||
b <v5>: Boolean NEW: r(b) -> <v5>
|
||||
"s" <v6>: String NEW: r("s") -> <v6>
|
||||
"t" <v7>: String NEW: r("t") -> <v7>
|
||||
r <v8>: String NEW: r(r) -> <v8>
|
||||
doSmth(r) <v9>: * NEW: call(doSmth, doSmth|<v8>) -> <v9>
|
||||
{ var u: String if (b) { u = "s" } doSmth(u) var r: String if (b) { r = "s" } else { r = "t" } doSmth(r) } <v9>: * COPY
|
||||
=====================
|
||||
== t2 ==
|
||||
fun t2(b: Boolean) {
|
||||
@@ -39,14 +40,16 @@ fun t2(b: Boolean) {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
3 <v1>: Int NEW()
|
||||
b <v2>: Boolean NEW()
|
||||
i <v3>: String NEW()
|
||||
doSmth(i) <v4>: * NEW(<v3>)
|
||||
i <v5>: * NEW()
|
||||
i is Int <v6>: Boolean NEW(<v5>)
|
||||
<v0>: Boolean NEW: magic(b: Boolean) -> <v0>
|
||||
3 <v1>: Int NEW: r(3) -> <v1>
|
||||
b <v2>: Boolean NEW: r(b) -> <v2>
|
||||
i <v3>: String NEW: r(i) -> <v3>
|
||||
doSmth(i) <v4>: * NEW: call(doSmth, doSmth|<v3>) -> <v4>
|
||||
i <v5>: * NEW: r(i) -> <v5>
|
||||
i is Int <v6>: Boolean NEW: magic(i is Int|<v5>) -> <v6>
|
||||
=====================
|
||||
== doSmth ==
|
||||
fun doSmth(s: String) {}
|
||||
---------------------
|
||||
<v0>: String NEW: magic(s: String) -> <v0>
|
||||
=====================
|
||||
|
||||
@@ -5,11 +5,11 @@ fun main() {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
0 <v0>: {<: Comparable<Int>} NEW()
|
||||
1 <v1>: Int NEW()
|
||||
0 > 1 <v2>: Boolean NEW(<v0>, <v1>)
|
||||
2 <v3>: * NEW()
|
||||
{ 2 } <v3>: * COPY
|
||||
0 <v0>: {<: Comparable<Int>} NEW: r(0) -> <v0>
|
||||
1 <v1>: Int NEW: r(1) -> <v1>
|
||||
0 > 1 <v2>: Boolean NEW: call(>, compareTo|<v0>, <v1>) -> <v2>
|
||||
2 <v3>: * NEW: r(2) -> <v3>
|
||||
{ 2 } <v3>: * COPY
|
||||
=====================
|
||||
== dowhile ==
|
||||
fun dowhile() {
|
||||
@@ -17,7 +17,7 @@ fun dowhile() {
|
||||
while(0 > 1)
|
||||
}
|
||||
---------------------
|
||||
0 <v0>: * NEW()
|
||||
1 <v1>: * NEW()
|
||||
0 > 1 <v2>: * NEW(<v0>, <v1>)
|
||||
0 <v0>: * NEW: r(0) -> <v0>
|
||||
1 <v1>: * NEW: r(1) -> <v1>
|
||||
0 > 1 <v2>: * NEW: call(>, compareTo|<v0>, <v1>) -> <v2>
|
||||
=====================
|
||||
|
||||
@@ -5,6 +5,8 @@ fun illegalWhenBlock(a: Any): Any {
|
||||
}
|
||||
}
|
||||
---------------------
|
||||
a <v1>: * NEW()
|
||||
a <v3>: {<: Any} NEW()
|
||||
<v0>: {<: Any} NEW: magic(a: Any) -> <v0>
|
||||
<v2>: * NEW: magic(is Int|<v1>) -> <v2>
|
||||
a <v1>: * NEW: r(a) -> <v1>
|
||||
a <v3>: {<: Any} NEW: r(a) -> <v3>
|
||||
=====================
|
||||
|
||||
Reference in New Issue
Block a user