Svetlana Isakova
24 lines
640 B
Plaintext
24 lines
640 B
Plaintext
== main ==
|
|
fun main() {
|
|
while(0 > 1) {
|
|
2
|
|
}
|
|
}
|
|
---------------------
|
|
0 <v0>: {<: Comparable<Int>} NEW: r(0) -> <v0>
|
|
1 <v1>: Int NEW: r(1) -> <v1>
|
|
0 > 1 <v2>: Boolean NEW: call(0 > 1, compareTo|<v0>, <v1>) -> <v2>
|
|
2 <v3>: * NEW: r(2) -> <v3>
|
|
{ 2 } <v3>: * COPY
|
|
=====================
|
|
== dowhile ==
|
|
fun dowhile() {
|
|
do {return}
|
|
while(0 > 1)
|
|
}
|
|
---------------------
|
|
0 <v0>: * NEW: r(0) -> <v0>
|
|
1 <v1>: * NEW: r(1) -> <v1>
|
|
0 > 1 <v2>: * NEW: call(0 > 1, compareTo|<v0>, <v1>) -> <v2>
|
|
=====================
|