// ///////////////////////////////////////////////////////////////////////////
// Checker Framework pluggable type-checking and Lombok example
//

plugins {
  id 'java'
  id 'io.freefair.lombok' version '8.10'
  // Checker Framework pluggable type-checking
  id 'org.checkerframework' version '0.6.46'
}

lombok {
  version = "1.18.30"
}

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',
  ]
}
