Enable NullAway JSpecify mode

sdeleuze · sdeleuze · commit c0039fb62474 · 2025-01-14T12:26:20.000+01:00
See spring-projectsgh-34140
diff --git a/gradle/spring-module.gradle b/gradle/spring-module.gradle
@@ -118,6 +118,7 @@ tasks.withType(JavaCompile).configureEach {
     	disableAllChecks = true
 		option("NullAway:OnlyNullMarked", "true")
 		option("NullAway:CustomContractAnnotations", "org.springframework.lang.Contract")
+		option("NullAway:JSpecifyMode", "true")
     }
 }
 tasks.compileJava {

Original file line number	Diff line number	Diff line change
`@@ -118,6 +118,7 @@ tasks.withType(JavaCompile).configureEach {`
`118`	`118`	`disableAllChecks = true`
`119`	`119`	`option("NullAway:OnlyNullMarked", "true")`
`120`	`120`	`option("NullAway:CustomContractAnnotations", "org.springframework.lang.Contract")`
	`121`	`+ option("NullAway:JSpecifyMode", "true")`
`121`	`122`	`}`
`122`	`123`	`}`
`123`	`124`	`tasks.compileJava {`