Fixed naming for some tests

Eventually, function modifiers should be uniformed, as well as some other names.

Author: cheestree

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

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

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

@@ -4,17 +4,17 @@
 
 @SuppressWarnings("unused")
 public class ErrorBoxedTypes {
-    public static void boxedBoolean() {
+    public static void errorBoxedBoolean() {
         @Refinement("_ == true")
         Boolean b = false; // Refinement Error
     }
 
-    public static void boxedInteger() {
+    public static void errorBoxedInteger() {
         @Refinement("_ > 0")
         Integer j = -1; // Refinement Error
     }
 
-    public static void boxedDouble() {
+    public static void errorBoxedDouble() {
         @Refinement("_ > 0")
         Double d = -1.0; // Refinement Error
     }

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

@@ -3,12 +3,11 @@
 import liquidjava.specification.Refinement;
 
 public class ErrorChars {
-
-    void test() {
-        printLetter('$'); // Refinement Error
-    }
-
     void printLetter(@Refinement("_ >= 65 && _ <= 90 || _ >= 97 && _ <= 122") char c) {
         System.out.println(c);
     }
+
+    public static void main(String[] args) {
+        printLetter('$'); // Refinement Error
+    }
 }

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

@@ -7,10 +7,11 @@
 @Ghost("int size")
 public class ErrorDotNotationMultiple {
 
-    @StateRefinement(to="size() == 0")
-    public ErrorDotNotationMultiple() {}
+    @StateRefinement(to = "size() == 0")
+    public ErrorDotNotationMultiple() {
+    }
 
-    void test() {
+    public static void main(String[] args) {
         @Refinement("_ == this.not.size()") // Syntax Error
         int x = 0;
     }

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

@@ -4,7 +4,7 @@
 
 public class ErrorGhostNotFound {
 
-    public void test() {
+    public static void main(String[] args) {
         @Refinement("notFound(x)")
         int x = 5; // Not Found Error
     }

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

@@ -4,7 +4,7 @@
 
 @SuppressWarnings("unused")
 public class ErrorInstanceVarInRefinement {
-    public static void varInRefinement1() {
+    public static void varInRefinementInIf() {
         @Refinement("_ < 10")
         int a = 6;
         if (a > 0) {
@@ -14,7 +14,7 @@ public static void varInRefinement1() {
         }
     }
 
-    public static void varInRefinement2() {
+    public static void varInRefinement() {
         @Refinement("_ < 10")
         int a = 6;
 

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

@@ -5,15 +5,15 @@
 @SuppressWarnings("unused")
 public class ErrorInvalidRefinement {
 
-    void invalidRefinement1() {
+    void invalidRefinement() {
         @Refinement("x") // Invalid Refinement Error
         int x = 0;
     }
 
-    void invalidRefinement2(@Refinement("y + 1") int y) { // Invalid Refinement Error
+    void invalidRefinementParameter(@Refinement("y + 1") int y) { // Invalid Refinement Error
     }
 
     @Refinement("_ * 2") // Invalid Refinement Error
-    void invalidRefinement3() {
+    void invalidRefinementReturn() {
     }
 }

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

@@ -3,17 +3,18 @@
 import liquidjava.specification.Refinement;
 
 public class ErrorLongUsagePredicates {
-    void testLargeSubtractionWrong() {                                                                                                                    
-        @Refinement("v - 9007199254740992 == 2")                                                                                                          
+    void errorLargeSubtraction() {
+        @Refinement("v - 9007199254740992 == 2")
         long v = 9007199254740993L; // Refinement Error
-    } 
-    void testUUID(){
+    }
+
+    void errorUUID() {
         @Refinement("((v/4096) % 16) == 2")
         long v = 0x01000000122341666L; // Refinement Error
     }
-    
-    void testWrongSign() {                                                                                                                                
-      @Refinement("v < 0")                                                                                                                              
-      long v = 42L; // Refinement Error
+
+    void errorWrongSign() {
+        @Refinement("v < 0")
+        long v = 42L; // Refinement Error
     }
 }

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

@@ -4,7 +4,7 @@
 import liquidjava.specification.StateRefinement;
 import liquidjava.specification.StateSet;
 
-@StateSet({"green", "amber", "red"})
+@StateSet({ "green", "amber", "red" })
 public class ErrorTrafficLightRGB {
 
     @Refinement("r >= 0 && r <= 255")
@@ -44,7 +44,7 @@ public void transitionToRed() {
         b = 1;
     }
 
-    public static void name() {
+    public static void main(String[] args) {
         ErrorTrafficLightRGB tl = new ErrorTrafficLightRGB();
         tl.transitionToAmber();
         tl.transitionToRed();

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

@@ -4,7 +4,7 @@
 
 @SuppressWarnings("unused")
 public class ErrorUnaryOperators {
-    public static void unaryOperator1() {
+    public static void errorUnaryOperators() {
         @Refinement("_ < 10")
         int v = 3;
         v--;
@@ -13,7 +13,7 @@ public static void unaryOperator1() {
         s--; // Refinement Error
     }
 
-    public static void unaryOperator2() {
+    public static void errorUnaryOperatorMinus() {
         @Refinement("b > 0")
         int b = 8;
         b = -b; // Refinement Error