| /////////////////////////////////////////////////////////////////////////// |
| /// Checker Framework pluggable type-checking and Lombok example |
| /// |
| |
| plugins { |
| id 'java' |
| id "io.freefair.lombok" version "5.1.0" |
| // Checker Framework pluggable type-checking |
| id 'org.checkerframework' version '0.5.17' |
| } |
| |
| apply plugin: 'org.checkerframework' |
| |
| def cfHome = "${projectDir}/../../.." |
| dependencies { |
| compileOnly files(cfHome + "/checker/dist/checker-qual.jar") |
| testCompileOnly files(cfHome + "/checker/dist/checker-qual.jar") |
| checkerFramework files(cfHome + "/checker/dist/checker.jar") |
| } |
| |
| repositories { |
| mavenCentral() |
| } |
| |
| checkerFramework { |
| checkers = [ |
| 'org.checkerframework.checker.nullness.NullnessChecker', |
| ] |
| } |
