add variable for restricting checkerFramework to certain packages

Author: wadoon

buildSrc/src/main/kotlin/java-convention.gradle.kts

@@ -347,11 +347,15 @@ signing {
 }
 
 
+val CHECKER_FRAMEWORK_PACKAGES_REGEX: String? by project
+extra["CHECKER_FRAMEWORK_PACKAGES_REGEX"] = "^org\\.key_project"
+
 checkerFramework {
     if(System.getProperty("ENABLE_NULLNESS").toBoolean()) {
         checkers = listOf("org.checkerframework.checker.nullness.NullnessChecker")
         extraJavacArgs = listOf(
-            "-AonlyDefs=^org\\.key_project\\.util",
+            CHECKER_FRAMEWORK_PACKAGES_REGEX?.let { "-AonlyDefs=$it" }
+                ?: "",
             "-Xmaxerrs", "10000",
             "-Astubs=$projectDir/src/main/checkerframework:permit-nullness-assertion-exception.astub:checker.jar/junit-assertions.astub",
             "-AstubNoWarnIfNotFound",

key.ncore/build.gradle.kts

@@ -9,4 +9,4 @@ dependencies {
     api(project(":key.util"))
 }
 
-val packages = "org\\.key_project\\.logic"
+//extra = "org\\.key_project\\.logic"

key.util/build.gradle.kts

@@ -5,3 +5,5 @@ plugins {
 description = "Utility library of the key-project"
 
 dependencies {}
+
+extra["CHECKER_FRAMEWORK_PACKAGES_REGEX"] = "^org\\.key_project\\.util"