Refactored tests

Author: cheestree

liquidjava-example/src/main/java/testSuite/CorrectBoxedTypes.java

@@ -1,4 +1,3 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;

liquidjava-example/src/main/java/testSuite/ErrorAfterIf.java

@@ -1,4 +1,3 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -15,6 +14,6 @@ public void have2(int a, int b) {
             if (b > 0) pos = b;
         }
         @Refinement("_ == a || _ == b")
-        int r = pos;
+        int r = pos; // Refinement Error
     }
 }

liquidjava-example/src/main/java/testSuite/ErrorAfterIf2.java

@@ -1,4 +1,3 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -13,6 +12,6 @@ public static void main(String[] args) {
         }
         k = 50;
         @Refinement("_ < 10")
-        int m = k;
+        int m = k; // Refinement Error
     }
 }

liquidjava-example/src/main/java/testSuite/ErrorAlias.java

@@ -1,4 +1,3 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -15,6 +14,6 @@ public static int getNum() {
 
     public static void main(String[] args) {
         @Refinement("InRange( _, 10, 15)")
-        int j = getNum();
+        int j = getNum(); // Refinement Error
     }
 }

liquidjava-example/src/main/java/testSuite/ErrorAliasArgumentSize.java

@@ -1,4 +1,3 @@
-// Argument Mismatch Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -10,6 +9,6 @@ public class ErrorAliasArgumentSize {
 
     public static void main(String[] args) {
         @Refinement("InRange(j, 10)")
-        int j = 15;
+        int j = 15; // Argument Mismatch Error
     }
 }

liquidjava-example/src/main/java/testSuite/ErrorAliasEmptyArguments.java

@@ -1,4 +1,3 @@
-// Argument Mismatch Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -9,7 +8,7 @@
 public class ErrorAliasEmptyArguments {
 
     public static void main(String[] args) {
-        @Refinement("InRange()")
+        @Refinement("InRange()") // Argument Mismatch Error
         int j = 15;
     }
 }

liquidjava-example/src/main/java/testSuite/ErrorAliasNotFound.java

@@ -1,4 +1,3 @@
-// Not Found Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -7,6 +6,6 @@ public class ErrorAliasNotFound {
 
     public static void main(String[] args) {
         @Refinement("UndefinedAlias(x)")
-        int x = 5;
+        int x = 5; // Not Found Error
     }
 }

liquidjava-example/src/main/java/testSuite/ErrorAliasSimple.java

@@ -1,4 +1,3 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -10,6 +9,6 @@ public class ErrorAliasSimple {
 
     public static void main(String[] args) {
         @Refinement("PtGrade(_)")
-        double positiveGrade2 = 20 * 0.5 + 20 * 0.6;
+        double positiveGrade2 = 20 * 0.5 + 20 * 0.6; // Refinement Error
     }
 }

liquidjava-example/src/main/java/testSuite/ErrorAliasTypeMismatch.java

@@ -1,4 +1,3 @@
-// Argument Mismatch Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -14,6 +13,6 @@ public static void main(String[] args) {
         double positiveGrade2 = 20 * 0.5 + 20 * 0.5;
 
         @Refinement("Positive(_)")
-        double positive = positiveGrade2;
+        double positive = positiveGrade2; // Argument Mismatch Error
     }
 }

liquidjava-example/src/main/java/testSuite/ErrorArithmeticBinaryOperations.java

@@ -1,4 +1,3 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -9,6 +8,6 @@ public static void main(String[] args) {
         @Refinement("_ < 100")
         int y = 50;
         @Refinement("_ > 0")
-        int z = y - 51;
+        int z = y - 51; // Refinement Error
     }
 }