Norway


-  - The Android Arsenal – Gradle Plugins -  - The Android Arsenal – Gradle Plugins -  - The Android Arsenal – Gradle Plugins

This plugin configures JavaCompile tasks to use the Checker Framework.

Download

Release:

buildscript {
  repositories {
    jcenter()
  }

  dependencies {
    classpath "com.jaredsburrows:-checker-framework-plugin:0.2.0"
  }
}

apply plugin: "com.jaredsburrows.checkerframework"

Release versions are available in the JFrog Bintray repository: https://bintray.com/jaredsburrows/maven/gradle-checker-framework-plugin

Snapshot:

buildscript {
  repositories {
    maven { url "https://oss.jfrog.org/artifactory/oss-snapshot-local/" }
  }

  dependencies {
    classpath "com.jaredsburrows:gradle-checker-framework-plugin:0.2.1-SNAPSHOT"
  }
}

apply plugin: "com.jaredsburrows.checkerframework"

Snapshot versions are available in the JFrog Artifactory repository: https://oss.jfrog.org/webapp/#/builds/gradle-checker-framework-plugin

Configuration

It is possible to configure the checkers you want to enable using the checkerFramework.checkers property.

For example:

checkerFramework {
  checkers = [
    "org.checkerframework.checker.units.UnitsChecker", 
    "org.checkerframework.checker.nullness.NullnessChecker"]
}

By default, only the NullnessChecker is enabled.

You can find out what checkers are available in the Checker Framework Manual.





Source link

LEAVE A REPLY

Please enter your comment!
Please enter your name here