Apply spotless

opprop · May 1, 2024 · 7fd8c4c · 7fd8c4c
1 parent f739848
commit 7fd8c4c
Show file tree

Hide file tree

Showing 13 changed files with 12 additions and 2 deletions.
diff --git a/src/main/java/pico/typecheck/PICOAnnotationMirrorHolder.java b/src/main/java/pico/typecheck/PICOAnnotationMirrorHolder.java
@@ -1,6 +1,5 @@
 package pico.typecheck;
 
-import org.checkerframework.checker.initialization.qual.Initialized;
 import org.checkerframework.framework.source.SourceChecker;
 import org.checkerframework.javacutil.AnnotationBuilder;
 
@@ -33,6 +32,5 @@ public static void init(SourceChecker checker) {
                 AnnotationBuilder.fromClass(elements, ReceiverDependantMutable.class);
         IMMUTABLE = AnnotationBuilder.fromClass(elements, Immutable.class);
         BOTTOM = AnnotationBuilder.fromClass(elements, Bottom.class);
-
     }
 }
diff --git a/testinput/typecheck/AssignableExample.java b/testinput/typecheck/AssignableExample.java
@@ -1,4 +1,5 @@
 package typecheck;
+
 // @skip-test wait for discuss on error reporting line number
 import java.util.Date;
 

diff --git a/testinput/typecheck/CompatabilityBEI1.java b/testinput/typecheck/CompatabilityBEI1.java
@@ -1,6 +1,7 @@
 import qual.Immutable;
 import qual.Mutable;
 import qual.ReceiverDependantMutable;
+
 // @skip-test wait for discuss on error reporting line number
 
 @Mutable

diff --git a/testinput/typecheck/CompatibilityBEI2.java b/testinput/typecheck/CompatibilityBEI2.java
@@ -4,6 +4,7 @@
 import qual.Immutable;
 import qual.Mutable;
 import qual.ReceiverDependantMutable;
+
 // @skip-test wait for discuss on error reporting line number
 
 @Mutable

diff --git a/testinput/typecheck/DateCell.java b/testinput/typecheck/DateCell.java
@@ -1,4 +1,5 @@
 package typecheck;
+
 // @skip-test wait for discussion
 
 import java.util.Date;

diff --git a/testinput/typecheck/GenericInterfaces.java b/testinput/typecheck/GenericInterfaces.java
@@ -1,6 +1,7 @@
 import qual.Immutable;
 import qual.Mutable;
 import qual.Readonly;
+
 // @skip-test wait for discussion
 
 interface MIt<E extends @Readonly Object> {

diff --git a/testinput/typecheck/ImmutableClass1.java b/testinput/typecheck/ImmutableClass1.java
@@ -5,6 +5,7 @@
 import qual.PolyMutable;
 import qual.Readonly;
 import qual.ReceiverDependantMutable;
+
 // @skip-test wait for discuss on error reporting line number
 
 @Immutable

diff --git a/testinput/typecheck/ImmutableConstructor.java b/testinput/typecheck/ImmutableConstructor.java
@@ -4,6 +4,7 @@
 import qual.Mutable;
 import qual.Readonly;
 import qual.ReceiverDependantMutable;
+
 // @skip-test wait for discuss on error reporting line number
 
 @Immutable

diff --git a/testinput/typecheck/InvalidAssignability.java b/testinput/typecheck/InvalidAssignability.java
@@ -2,6 +2,7 @@
 
 import qual.Assignable;
 import qual.Immutable;
+
 // @skip-test wait for discuss on error reporting line number
 
 public class InvalidAssignability {

diff --git a/testinput/typecheck/InvalidBound.java b/testinput/typecheck/InvalidBound.java
@@ -3,6 +3,7 @@
 import qual.PolyMutable;
 import qual.Readonly;
 import qual.ReceiverDependantMutable;
+
 // @skip-test wait for discuss on error reporting line number
 
 // :: error: (class.bound.invalid)

diff --git a/testinput/typecheck/ReadonlyConstructor.java b/testinput/typecheck/ReadonlyConstructor.java
@@ -1,6 +1,7 @@
 package typecheck;
 
 import qual.Readonly;
+
 // @skip-test wait for discuss on error reporting line number
 
 public class ReadonlyConstructor {

diff --git a/testinput/typecheck/ReceiverDependantMutableConstructor.java b/testinput/typecheck/ReceiverDependantMutableConstructor.java
@@ -4,6 +4,7 @@
 import qual.Mutable;
 import qual.Readonly;
 import qual.ReceiverDependantMutable;
+
 // @skip-test wait for discuss on error reporting line number
 
 @ReceiverDependantMutable

diff --git a/testinput/typecheck/ReceiverTypeOutsideConstructor.java b/testinput/typecheck/ReceiverTypeOutsideConstructor.java
@@ -3,6 +3,7 @@
 import qual.Immutable;
 import qual.Mutable;
 import qual.ReceiverDependantMutable;
+
 // @skip-test wait for discuss on error reporting line number
 
 // Immutable class