Gradle Checker Framework Plugin

Additional

Language
Groovy
Version
N/A
Created
Jun 2, 2017
Updated
Jan 24, 2018
Owner
Jared Burrows (jaredsburrows)
Contributors
Jared Burrows (jaredsburrows)
renatoathaydes
2
Activity
Badge
Generate
Download
Source code

Commercial

Gradle Checker Framework Plugin

This plugin configures JavaCompile tasks to use the Checker Framework.

Download

Release:

buildscript {
  repositories {
    jcenter()
  }

  dependencies {
    classpath "com.jaredsburrows:gradle-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.