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

plugins {
    id 'java'
    id "io.freefair.lombok" version "4.0.1"
    // Checker Framework pluggable type-checking
    id 'org.checkerframework' version '0.3.28' apply false
}

apply plugin: 'org.checkerframework'

dependencies {
    ext.checkerFrameworkVersion = '3.0.1'
    compileOnly "org.checkerframework:checker-qual:${checkerFrameworkVersion}"
    testCompileOnly "org.checkerframework:checker-qual:${checkerFrameworkVersion}"
    checkerFramework "org.checkerframework:checker:${checkerFrameworkVersion}"
    checkerFrameworkAnnotatedJDK "org.checkerframework:jdk8:${checkerFrameworkVersion}"
}

repositories {
    mavenCentral()
}

checkerFramework {
    checkers = [
        'org.checkerframework.checker.nullness.NullnessChecker',
    ]
}
