Apply spotless

opprop · Jun 22, 2024 · 8f59548 · 8f59548
1 parent 2d7cae7
commit 8f59548
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 6 deletions.
diff --git a/src/checkers/inference/InferenceVisitor.java b/src/checkers/inference/InferenceVisitor.java
@@ -30,7 +30,6 @@
 import java.lang.annotation.Annotation;
 import java.util.Arrays;
 import java.util.HashMap;
-import java.util.HashSet;
 import java.util.List;
 import java.util.Map;
 import java.util.Set;

diff --git a/src/checkers/inference/solver/backend/maxsat/encoder/MaxSATSubtypeConstraintEncoder.java b/src/checkers/inference/solver/backend/maxsat/encoder/MaxSATSubtypeConstraintEncoder.java
@@ -6,11 +6,9 @@
 
 import java.util.ArrayList;
 import java.util.Collection;
-import java.util.HashSet;
 import java.util.Iterator;
 import java.util.List;
 import java.util.Map;
-import java.util.Set;
 
 import javax.lang.model.element.AnnotationMirror;
 
@@ -34,8 +32,7 @@ public MaxSATSubtypeConstraintEncoder(
      * For subtype constraint, if supertype is constant slot, then the subtype cannot be the super
      * type of supertype, same for subtype
      */
-    protected VecInt[] getMustNotBe(
-            AnnotationMirrorSet mustNotBe, Slot vSlot, ConstantSlot cSlot) {
+    protected VecInt[] getMustNotBe(AnnotationMirrorSet mustNotBe, Slot vSlot, ConstantSlot cSlot) {
 
         List<Integer> resultList = new ArrayList<Integer>();
 

diff --git a/src/checkers/inference/solver/frontend/LatticeBuilder.java b/src/checkers/inference/solver/frontend/LatticeBuilder.java
@@ -9,7 +9,6 @@
 import java.lang.annotation.Annotation;
 import java.util.Collection;
 import java.util.Collections;
-import java.util.HashSet;
 import java.util.Map;
 import java.util.Set;