Merge branch 'main' into simplification-fixes

Author: rcosta358

README.md

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

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

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

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

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

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

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

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

@@ -0,0 +1,15 @@
+// Argument Mismatch Error
+package testSuite;
+
+import liquidjava.specification.Refinement;
+import liquidjava.specification.RefinementAlias;
+
+@SuppressWarnings("unused")
+@RefinementAlias("InRange(int val, int low, int up) {low < val && val < up}")
+public class ErrorAliasEmptyArguments {
+
+    public static void main(String[] args) {
+        @Refinement("InRange()")
+        int j = 15;
+    }
+}

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

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

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

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

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

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

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

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