Improve Expected Pattern in Tests

Author: rcosta358

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

@@ -15,7 +15,7 @@ public void afterIf1(int a, int b) {
                 pos = b;
         }
         @Refinement("_ == a || _ == b")
-        int r = pos; // Refinement Error
+        int r = pos; // Expect: Refinement Error
     }
 
     public void afterIf2() {
@@ -26,6 +26,6 @@ public void afterIf2() {
         }
         k = 50;
         @Refinement("_ < 10")
-        int m = k; // Refinement Error
+        int m = k; // Expect: Refinement Error
     }
 }

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

@@ -14,6 +14,6 @@ public static int getNum() {
 
     public static void main(String[] args) {
         @Refinement("InRange( _, 10, 15)")
-        int j = getNum(); // Refinement Error
+        int j = getNum(); // Expect: Refinement Error
     }
 }

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

@@ -8,7 +8,7 @@
 public class ErrorAliasArgumentSize {
 
     public static void main(String[] args) {
-        @Refinement("InRange(j, 10)") // Argument Mismatch Error
+        @Refinement("InRange(j, 10)") // Expect: Argument Mismatch Error
         int j = 15;
     }
 }

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

@@ -8,7 +8,7 @@
 public class ErrorAliasEmptyArguments {
 
     public static void main(String[] args) {
-        @Refinement("InRange()") // Argument Mismatch Error
+        @Refinement("InRange()") // Expect: Argument Mismatch Error
         int j = 15;
     }
 }

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

@@ -5,7 +5,7 @@
 public class ErrorAliasNotFound {
 
     public static void main(String[] args) {
-        @Refinement("UndefinedAlias(x)") // Not Found Error
+        @Refinement("UndefinedAlias(x)") // Expect: Not Found Error
         int x = 5;
     }
 }

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

@@ -9,6 +9,6 @@ public class ErrorAliasSimple {
 
     public static void main(String[] args) {
         @Refinement("PtGrade(_)")
-        double positiveGrade2 = 20 * 0.5 + 20 * 0.6; // Refinement Error
+        double positiveGrade2 = 20 * 0.5 + 20 * 0.6; // Expect: Refinement Error
     }
 }

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

@@ -12,7 +12,7 @@ public static void main(String[] args) {
         @Refinement("PtGrade(_)")
         double positiveGrade2 = 20 * 0.5 + 20 * 0.5;
 
-        @Refinement("Positive(_)") // Argument Mismatch Error
+        @Refinement("Positive(_)") // Expect: Argument Mismatch Error
         double positive = positiveGrade2;
     }
 }

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

@@ -8,6 +8,6 @@ public static void main(String[] args) {
         @Refinement("_ < 100")
         int y = 50;
         @Refinement("_ > 0")
-        int z = y - 51; // Refinement Error
+        int z = y - 51; // Expect: Refinement Error
     }
 }

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

@@ -7,30 +7,30 @@ public class ErrorArithmeticFP {
 
     private static void arithmetic1() {
         @Refinement("_ > 5.0")
-        double a = 5.0; // Refinement Error
+        double a = 5.0; // Expect: Refinement Error
     }
 
     private static void arithmetic2() {
         @Refinement("_ > 5.0")
         double a = 5.5;
 
         @Refinement("_ == 10.0")
-        double c = a * 2.0; // Refinement Error
+        double c = a * 2.0; // Expect: Refinement Error
     }
 
     private static void arithmetic3() {
         @Refinement("_ > 5.0")
         double a = 5.5;
 
         @Refinement("_ < -5.5")
-        double d = -a; // Refinement Error
+        double d = -a; // Expect: Refinement Error
     }
 
     private static void arithmetic4() {
         @Refinement("_ > 5.0")
         double a = 5.5;
 
         @Refinement("_ < -5.5")
-        double d = -(a - 2.0); // Refinement Error
+        double d = -(a - 2.0); // Expect: Refinement Error
     }
 }

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

@@ -12,6 +12,6 @@ public static void main(String[] args) {
         u = 11 + z;
         u = z * 2;
         u = 30 + z;
-        u = 500; // Refinement Error
+        u = 500; // Expect: Refinement Error
     }
 }