[chore] reformat everything

Author: GUIpsp

liquidjava-api/src/main/java/example/NumericExample.java

@@ -20,15 +20,15 @@
 
 public class NumericExample {
 
-  public static int test(int a, int b) {
-    int c = a / (b + a - 2);
-    if (c > 0) System.out.println(">0");
-    else System.out.println("<=0");
+    public static int test(int a, int b) {
+        int c = a / (b + a - 2);
+        if (c > 0) System.out.println(">0");
+        else System.out.println("<=0");
 
-    return c;
-  }
+        return c;
+    }
 
-  public static void main(String[] args) {
-    test(0, 0);
-  }
+    public static void main(String[] args) {
+        test(0, 0);
+    }
 }

liquidjava-api/src/main/java/example/Simple.java

@@ -5,15 +5,15 @@
 @Refinement("super.x > 10")
 public class Simple extends ToSimple {
 
-  @Refinement("z > 0 && z > super.x")
-  private int z;
+    @Refinement("z > 0 && z > super.x")
+    private int z;
 
-  @Refinement("\\return == x + 1")
-  public static int function1(@Refinement("x > 0") final int x) {
+    @Refinement("\\return == x + 1")
+    public static int function1(@Refinement("x > 0") final int x) {
 
-    @Refinement("y > 0")
-    int y = x + 1;
+        @Refinement("y > 0")
+        int y = x + 1;
 
-    return y;
-  }
+        return y;
+    }
 }

liquidjava-api/src/main/java/example/ToSimple.java

@@ -2,5 +2,5 @@
 
 public class ToSimple {
 
-  protected int x;
+    protected int x;
 }

liquidjava-api/src/main/java/liquidjava/Main.java

@@ -8,25 +8,23 @@
 /** Main class for the Repair system */
 public class Main {
 
-  public static void main(String[] args) throws Exception {
+    public static void main(String[] args) throws Exception {
 
-    List<String> refinements = (new Processor()).getRefinement(new Simple());
+        List<String> refinements = (new Processor()).getRefinement(new Simple());
 
-    List<String> inducedRefinements = InducedRefinementsParser.parseRefinements("output3");
+        List<String> inducedRefinements = InducedRefinementsParser.parseRefinements("output3");
 
-    System.out.println(refinements);
-    System.out.println(inducedRefinements);
+        System.out.println(refinements);
+        System.out.println(inducedRefinements);
 
-    String finalRefinement = "";
+        String finalRefinement = "";
 
-    if (!refinements.isEmpty()) {
-      finalRefinement += String.join(" && ", refinements);
+        if (!refinements.isEmpty()) {
+            finalRefinement += String.join(" && ", refinements);
 
-      if (!refinements.isEmpty())
-        finalRefinement += " && " + String.join(" && ", inducedRefinements);
-    } else if (!inducedRefinements.isEmpty())
-      finalRefinement = String.join(" && ", inducedRefinements);
+            if (!refinements.isEmpty()) finalRefinement += " && " + String.join(" && ", inducedRefinements);
+        } else if (!inducedRefinements.isEmpty()) finalRefinement = String.join(" && ", inducedRefinements);
 
-    System.out.println(finalRefinement);
-  }
+        System.out.println(finalRefinement);
+    }
 }

liquidjava-api/src/main/java/liquidjava/infer/InducedRefinementsParser.java

@@ -8,48 +8,47 @@
 
 public class InducedRefinementsParser {
 
-  private static final String STARTER =
-      "====================================================== search started:";
-  private static final String ENDER = "*************Summary***************";
+    private static final String STARTER = "====================================================== search started:";
+    private static final String ENDER = "*************Summary***************";
 
-  public InducedRefinementsParser() {
-    // Does nothing
-  }
+    public InducedRefinementsParser() {
+        // Does nothing
+    }
 
-  public static List<String> parseRefinements(String file) throws IOException {
+    public static List<String> parseRefinements(String file) throws IOException {
 
-    List<String> result = new ArrayList<>();
+        List<String> result = new ArrayList<>();
 
-    try (BufferedReader reader = new BufferedReader(new FileReader(file))) {
+        try (BufferedReader reader = new BufferedReader(new FileReader(file))) {
 
-      String line = reader.readLine();
+            String line = reader.readLine();
 
-      boolean start = false;
-      boolean end = false;
+            boolean start = false;
+            boolean end = false;
 
-      while ((line = reader.readLine()) != null && !end) {
-        if (!start) {
-          start = line.startsWith(STARTER);
-          continue;
-        } else end = line.startsWith(ENDER);
+            while ((line = reader.readLine()) != null && !end) {
+                if (!start) {
+                    start = line.startsWith(STARTER);
+                    continue;
+                } else end = line.startsWith(ENDER);
 
-        if (start && !end)
-          if (line.contains("NPC constraint")) {
+                if (start && !end)
+                    if (line.contains("NPC constraint")) {
 
-            line = reader.readLine();
+                        line = reader.readLine();
 
-            while (line.endsWith("&&") || line.endsWith("||")) line += reader.readLine();
+                        while (line.endsWith("&&") || line.endsWith("||")) line += reader.readLine();
 
-            if (line.startsWith("%")) line = line.substring(line.indexOf("%", 2) + 1);
+                        if (line.startsWith("%")) line = line.substring(line.indexOf("%", 2) + 1);
 
-            result.add(line);
-          }
-      }
+                        result.add(line);
+                    }
+            }
 
-    } catch (IOException e) {
-      e.printStackTrace();
-    }
+        } catch (IOException e) {
+            e.printStackTrace();
+        }
 
-    return result;
-  }
+        return result;
+    }
 }

liquidjava-api/src/main/java/liquidjava/specification/ExternalRefinementsFor.java

@@ -14,10 +14,10 @@
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE})
 public @interface ExternalRefinementsFor {
-  /**
-   * The prefix of the external method
-   *
-   * @return
-   */
-  public String value();
+    /**
+     * The prefix of the external method
+     *
+     * @return
+     */
+    public String value();
 }

liquidjava-api/src/main/java/liquidjava/specification/Ghost.java

@@ -14,8 +14,8 @@
  * @author catarina gamboa
  */
 @Retention(RetentionPolicy.RUNTIME)
-@Target({ ElementType.TYPE })
+@Target({ElementType.TYPE})
 @Repeatable(GhostMultiple.class)
 public @interface Ghost {
-  public String value();
+    public String value();
 }

liquidjava-api/src/main/java/liquidjava/specification/GhostMultiple.java

@@ -13,5 +13,5 @@
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE})
 public @interface GhostMultiple {
-  Ghost[] value();
+    Ghost[] value();
 }

liquidjava-api/src/main/java/liquidjava/specification/Refinement.java

@@ -12,14 +12,8 @@
  * @author catarina gamboa
  */
 @Retention(RetentionPolicy.RUNTIME)
-@Target({
-  ElementType.METHOD,
-  ElementType.FIELD,
-  ElementType.LOCAL_VARIABLE,
-  ElementType.PARAMETER,
-  ElementType.TYPE
-})
+@Target({ElementType.METHOD, ElementType.FIELD, ElementType.LOCAL_VARIABLE, ElementType.PARAMETER, ElementType.TYPE})
 public @interface Refinement {
 
-  public String value();
+    public String value();
 }

liquidjava-api/src/main/java/liquidjava/specification/RefinementAlias.java

@@ -16,5 +16,5 @@
 @Target({ElementType.TYPE})
 @Repeatable(RefinementAliasMultiple.class)
 public @interface RefinementAlias {
-  public String value();
+    public String value();
 }