File: build.gradle

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 23,104 kB
  • sloc: java: 145,916; xml: 839; sh: 518; makefile: 404; perl: 26
file content (30 lines) | stat: -rw-r--r-- 898 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
///////////////////////////////////////////////////////////////////////////
/// Checker Framework pluggable type-checking and Lombok example
///

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

apply plugin: 'org.checkerframework'

dependencies {
    ext.checkerFrameworkVersion = '3.2.0'
    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',
    ]
}