kelloggm / checkerframework-gradle-plugin

Gradle plugin to use the Checker Framework for Java
Apache License 2.0
66 stars 15 forks source link

Add per-task `skipCheckerFramework` option. #114

Closed 9999years closed 4 years ago

9999years commented 4 years ago

Partially fixes #110 (task-dependent configuration) and #106 (skip checks for autogenerated code).

We can use this to skip checking code generated by rest.li's Pegasus compiler:

subprojects {
  plugins.withType(JavaPlugin) {
    project.apply plugin: 'org.checkerframework'
    tasks.withType(JavaCompile).configureEach {
      // Don't run the checker on generated code.
      if (name.equals("compileMainGeneratedDataTemplateJava")
          || name.equals("compileMainGeneratedRestJava")) {
        checkerFramework {
          skipCheckerFramework = true
        }
      }
    }
  }
}
mernst commented 4 years ago

@9999years Nice enhancement, thanks.