@@ -11,9 +11,9 @@ public class TestContracts {
1111      }
1212
1313      if (x == null) {// 13
14-          throw new IllegalStateException("x is null".toString()); 
14+          throw new IllegalStateException("x is null".toString())
1515      } else {
16-          return x; // 14
16+          return x// 14
1717      }
1818   }
1919
@@ -24,7 +24,7 @@ public class TestContracts {
2424         returns(false) implies ((a && !b || (!a && b)
2525      }
2626
27-       return if (a && b) null else a || b; // 24
27+       return if (a && b) null else a || b// 24
2828   }
2929
3030   public fun testTypeContract(x: Any?): Int {
@@ -33,9 +33,9 @@ public class TestContracts {
3333      }
3434
3535      if (x !is Int) {// 31
36-          throw new IllegalStateException("x is not Int".toString()); 
36+          throw new IllegalStateException("x is not Int".toString())
3737      } else {
38-          return (x as java.lang.Number).intValue(); // 32
38+          return (x as java.lang.Number).intValue()// 32
3939      }
4040   }
4141
@@ -44,32 +44,32 @@ public class TestContracts {
4444         callsInPlace(f, InvocationKind.EXACTLY_ONCE)
4545      }
4646
47-       return (f.invoke() as java.lang.Number).intValue(); // 39
47+       return (f.invoke() as java.lang.Number).intValue()// 39
4848   }
4949
5050   public fun testFunctionalContract2(f: () -> Int, b: Boolean): Int {
5151      contract {
5252         callsInPlace(f, InvocationKind.AT_MOST_ONCE)
5353      }
5454
55-       return if (b) (f.invoke() as java.lang.Number).intValue() else 0; // 46
55+       return if (b) (f.invoke() as java.lang.Number).intValue() else 0// 46
5656   }
5757
5858   public fun testFunctionalContract3(f: () -> Int, i: Int): Int {
5959      contract {
6060         callsInPlace(f)
6161      }
6262
63-       val var3: java.lang.Iterable = (new IntRange(0, i)) as java.lang.Iterable; 
64-       var var4: Int = 0; 
65-       val var5: java.util.Iterator = var3.iterator(); 
63+       val var3: java.lang.Iterable = (new IntRange(0, i)) as java.lang.Iterable
64+       var var4: Int = 0
65+       val var5: java.util.Iterator = var3.iterator()
6666
6767      while (var5.hasNext()) {
68-          val var6: Int = (var5 as IntIterator).nextInt(); 
69-          var4 += (f.invoke() as java.lang.Number).intValue(); 
68+          val var6: Int = (var5 as IntIterator).nextInt()
69+          var4 += (f.invoke() as java.lang.Number).intValue()
7070      }
7171
72-       return var4; // 53
72+       return var4// 53
7373   }
7474}
7575
0 commit comments