| /////////////////////////////////////////////////////////////////////////// |
| /// Checker Framework pluggable type-checking and Error Prone example |
| /// |
| |
| plugins { |
| id 'java' |
| id 'net.ltgt.errorprone' version '2.0.1' |
| // Checker Framework pluggable type-checking |
| id 'org.checkerframework' version '0.5.17' |
| } |
| |
| apply plugin: 'org.checkerframework' |
| |
| dependencies { |
| // Must use at least version 2.4.0 of Error Prone. |
| errorprone 'com.google.errorprone:error_prone_core:2.7.1' |
| } |
| |
| repositories { |
| mavenCentral() |
| } |
| |
| checkerFramework { |
| checkers = [ |
| 'org.checkerframework.checker.nullness.NullnessChecker', |
| ] |
| } |
| |
| compileJava { |
| // A checker will only run if Error Prone does not issue any warnings. So |
| // convert the expected error to a warning to test that both Error Prone |
| // and the Nullness Checker run. |
| options.errorprone.warn('CollectionIncompatibleType') |
| } |