reformat

ucr-riple · Jan 10, 2025 · b75f387 · b75f387
1 parent 7dfe19c
commit b75f387
Show file tree

Hide file tree

Showing 4 changed files with 31 additions and 20 deletions.
diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/Config.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/Config.java
@@ -50,7 +50,6 @@
 import java.util.stream.Collectors;
 import java.util.stream.Stream;
 import java.util.stream.StreamSupport;
-
 import org.apache.commons.cli.CommandLine;
 import org.apache.commons.cli.CommandLineParser;
 import org.apache.commons.cli.DefaultParser;
@@ -650,7 +649,7 @@ private <T> Config.OrElse<T> getValueFromKey(JsonObject json, String key, Class<
   }
 
   private <T> ListOrElse<T> getArrayValueFromKey(
-          JsonObject json, String key, Function<JsonObject, T> mapper, Class<T> klass) {
+      JsonObject json, String key, Function<JsonObject, T> mapper, Class<T> klass) {
     if (json == null) {
       return new ListOrElse<>(null, klass);
     }
@@ -660,8 +659,10 @@ private <T> ListOrElse<T> getArrayValueFromKey(
     } else {
       if (jsonValue.value instanceof JsonArray) {
         return new ListOrElse<>(
-                StreamSupport.stream(((JsonArray) jsonValue.value).spliterator(), false).map(JsonElement::getAsJsonObject).map(mapper), klass
-        );
+            StreamSupport.stream(((JsonArray) jsonValue.value).spliterator(), false)
+                .map(JsonElement::getAsJsonObject)
+                .map(mapper),
+            klass);
       }
       throw new IllegalStateException(
           "Expected type to be json array, found: " + jsonValue.value.getClass());
@@ -765,14 +766,13 @@ public void write(Path path) {
       json.addProperty("INFERENCE_ACTIVATION", inferenceActivated);
       json.addProperty("LANGUAGE_LEVEL", languageLevel.name().split("_")[1]);
       JsonArray configPathsJson = new JsonArray();
-          configPaths
-              .forEach(
-                  info -> {
-                    JsonObject res = new JsonObject();
-                    res.addProperty("CHECKER", info.checkerConfig.toString());
-                    res.addProperty("SCANNER", info.scannerConfig.toString());
-                    configPathsJson.add(res);
-                  });
+      configPaths.forEach(
+          info -> {
+            JsonObject res = new JsonObject();
+            res.addProperty("CHECKER", info.checkerConfig.toString());
+            res.addProperty("SCANNER", info.scannerConfig.toString());
+            configPathsJson.add(res);
+          });
       json.add("CONFIG_PATHS", configPathsJson);
       JsonObject downstreamDependency = new JsonObject();
       downstreamDependency.addProperty("ACTIVATION", downStreamDependenciesAnalysisActivated);

diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/module/ModuleConfiguration.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/module/ModuleConfiguration.java
@@ -24,14 +24,13 @@
 
 package edu.ucr.cs.riple.core.module;
 
+import com.google.gson.JsonObject;
 import java.io.IOException;
 import java.nio.file.Files;
 import java.nio.file.Path;
 import java.nio.file.Paths;
 import java.util.Objects;
 
-import com.google.gson.JsonObject;
-
 /** Container class to hold paths to checker and scanner config files. */
 public class ModuleConfiguration {
 

diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/util/Utility.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/util/Utility.java
@@ -94,13 +94,21 @@ public static void writeReports(Context context, ImmutableSet<Report> reports) {
     JsonObject result = new JsonObject();
     JsonArray reportsJson = new JsonArray();
     // Sort reports based on the overall effect in descending order.
-    List<Report> sorted = reports.stream().sorted((r1, r2) -> Integer.compare(r2.getOverallEffect(context.config), r1.getOverallEffect(context.config))).collect(Collectors.toList());
+    List<Report> sorted =
+        reports.stream()
+            .sorted(
+                (r1, r2) ->
+                    Integer.compare(
+                        r2.getOverallEffect(context.config), r1.getOverallEffect(context.config)))
+            .collect(Collectors.toList());
     for (Report report : sorted) {
       JsonObject reportJson = report.root.getJson();
       reportJson.addProperty("LOCAL EFFECT", report.localEffect);
       reportJson.addProperty("OVERALL EFFECT", report.getOverallEffect(context.config));
-      reportJson.addProperty("Upper Bound EFFECT", report.getUpperBoundEffectOnDownstreamDependencies());
-      reportJson.addProperty("Lower Bound EFFECT", report.getLowerBoundEffectOnDownstreamDependencies());
+      reportJson.addProperty(
+          "Upper Bound EFFECT", report.getUpperBoundEffectOnDownstreamDependencies());
+      reportJson.addProperty(
+          "Lower Bound EFFECT", report.getLowerBoundEffectOnDownstreamDependencies());
       reportJson.addProperty("FINISHED", !report.requiresFurtherProcess(context.config));
       JsonArray followUps = new JsonArray();
       if (context.config.chain && report.localEffect < 1) {
@@ -299,12 +307,14 @@ public static List<String> readFileLines(Path path) {
 
   /**
    * Parses a file in json format and returns as a JsonObject.
+   *
    * @param path The path to the file.
    * @return The JsonObject parsed from the file.
    */
   public static JsonObject parseJson(Path path) {
     try {
-      return JsonParser.parseReader(Files.newBufferedReader(path, Charset.defaultCharset())).getAsJsonObject();
+      return JsonParser.parseReader(Files.newBufferedReader(path, Charset.defaultCharset()))
+          .getAsJsonObject();
     } catch (Exception e) {
       throw new RuntimeException("Error in reading/parsing context at path: " + path, e);
     }

diff --git a/injector/src/main/java/edu/ucr/cs/riple/injector/location/LocationToJsonVisitor.java b/injector/src/main/java/edu/ucr/cs/riple/injector/location/LocationToJsonVisitor.java
@@ -24,8 +24,8 @@
 
 package edu.ucr.cs.riple.injector.location;
 
-import com.google.gson.JsonObject;
 import com.google.gson.JsonArray;
+import com.google.gson.JsonObject;
 
 /** A visitor that converts a location to a JSON object. */
 public class LocationToJsonVisitor implements LocationVisitor<JsonObject, Void> {
@@ -81,7 +81,9 @@ public JsonObject visitClass(OnClass onClass, Void unused) {
   @Override
   public JsonObject visitLocalVariable(OnLocalVariable onLocalVariable, Void unused) {
     JsonObject res = defaultAction(onLocalVariable);
-    res.addProperty(KEYS.METHOD.name(), onLocalVariable.encMethod == null ? "" : onLocalVariable.encMethod.method);
+    res.addProperty(
+        KEYS.METHOD.name(),
+        onLocalVariable.encMethod == null ? "" : onLocalVariable.encMethod.method);
     res.addProperty(KEYS.VARIABLES.name(), onLocalVariable.varName);
     return res;
   }