diff --git a/build.gradle b/build.gradle index 52dce2e..5cee351 100644 --- a/build.gradle +++ b/build.gradle @@ -1,6 +1,9 @@ plugins { id 'java' id 'maven-publish' + + // spotless enforces style + id "com.diffplug.gradle.spotless" version "3.23.0" } repositories { @@ -36,3 +39,12 @@ publishing { } } } + +// run google java format to enforce style +spotless { + // uncomment this line to temporarily disable spotless (i.e. when debugging) + // enforceCheck = false + java { + googleJavaFormat() + } +} diff --git a/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java b/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java index ed71a61..f753621 100644 --- a/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java +++ b/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java @@ -10,9 +10,7 @@ import org.checkerframework.framework.qual.TargetLocations; import org.checkerframework.framework.qual.TypeUseLocation; -/** - * The bottom type for the TemplateFora Checker's type system. - */ +/** The bottom type for the TemplateFora Checker's type system. */ @SubtypeOf({TemplateforaUnknown.class}) @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) diff --git a/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaUnknown.java b/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaUnknown.java index 1608071..d13a1a6 100644 --- a/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaUnknown.java +++ b/src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaUnknown.java @@ -7,9 +7,7 @@ import org.checkerframework.framework.qual.DefaultQualifierInHierarchy; import org.checkerframework.framework.qual.SubtypeOf; -/** - * The top type for the TemplateFora Checker's type system. - */ +/** The top type for the TemplateFora Checker's type system. */ @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER}) @DefaultQualifierInHierarchy diff --git a/src/test/java/tests/TemplateforaTest.java b/src/test/java/tests/TemplateforaTest.java index 6aa495f..8fcc42e 100644 --- a/src/test/java/tests/TemplateforaTest.java +++ b/src/test/java/tests/TemplateforaTest.java @@ -13,18 +13,18 @@ * https://github.com/typetools/checker-framework/blob/master/checker/tests/README . */ public class TemplateforaTest extends CheckerFrameworkPerDirectoryTest { - public TemplateforaTest(List testFiles) { - super( - testFiles, - TemplateforaChecker.class, - "templatefora", - "-Anomsgtext", - "-Astubs=stubs/", - "-nowarn"); - } + public TemplateforaTest(List testFiles) { + super( + testFiles, + TemplateforaChecker.class, + "templatefora", + "-Anomsgtext", + "-Astubs=stubs/", + "-nowarn"); + } - @Parameters - public static String[] getTestDirs() { - return new String[] {"templatefora"}; - } + @Parameters + public static String[] getTestDirs() { + return new String[] {"templatefora"}; + } }