Updated tests to fit with main changes

Author: cheestree

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

@@ -1,22 +1,23 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
 
 @SuppressWarnings("unused")
 class ErrorEnumFunctionRefinement {
-    enum Color { Red, Green, Blue }
+	enum Color {
+		Red, Green, Blue
+	}
 
 	Color c;
 
 	Color changeColor(@Refinement("newColor == Color.Red || newColor == Color.Green") Color newColor) {
-		c = newColor; // correct
+		c = newColor;
 		return c;
 	}
-	
+
 	public static void main(String[] args) {
 		ErrorEnumFunctionRefinement e = new ErrorEnumFunctionRefinement();
-		e.changeColor(Color.Red); // correct
-		e.changeColor(Color.Blue); // error
+		e.changeColor(Color.Red);
+		e.changeColor(Color.Blue); // Refinement Error
 	}
 }

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

@@ -1,4 +1,3 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -13,7 +12,7 @@ void process(@Refinement("status != Status.Inactive") Status status) {}
 
     public static void main(String[] args) {
         ErrorEnumNegation e = new ErrorEnumNegation();
-        e.process(Status.Active);   // correct
-        e.process(Status.Inactive); // error
+        e.process(Status.Active);
+        e.process(Status.Inactive); // Refinement Error
     }
 }

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

@@ -1,4 +1,3 @@
-// Refinement Error
 package testSuite;
 
 import liquidjava.specification.Refinement;
@@ -8,9 +7,9 @@ class ErrorEnumNull {
 	enum Color {
 		Red, Green, Blue
 	}
-	
+
 	public static void main(String[] args) {
 		@Refinement("c == Color.Red || c == Color.Green")
-		Color c = null; // error
+		Color c = null; // Refinement Error
 	}
 }

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

@@ -1,10 +1,8 @@
-// State Refinement Error
 package testSuite;
 
 import liquidjava.specification.StateRefinement;
 import liquidjava.specification.StateSet;
 
-
 @SuppressWarnings("unused")
 @StateSet({"photoMode", "videoMode", "noMode"})
 class ErrorEnumUsage {
@@ -21,7 +19,7 @@ public ErrorEnumUsage() {}
 	public void setMode(Mode mode) {
 		this.mode = mode;
 	}
-	
+
 	@StateRefinement(from="photoMode(this)")
 	public void takePhoto() {}
 
@@ -30,6 +28,6 @@ public static void main(String[] args) {
 		// Correct
 		ErrorEnumUsage st = new ErrorEnumUsage();
 		st.setMode(Mode.Video);
-		st.takePhoto(); //error
+		st.takePhoto(); // State Refinement Error
 	}
 }