attempt to make checkerframework happy

gavinking · gavinking · commit 4450ecf5e672 · 2025-09-14T16:42:46.000+02:00
diff --git a/local-build-plugins/src/main/groovy/local.code-quality.gradle b/local-build-plugins/src/main/groovy/local.code-quality.gradle
@@ -120,7 +120,7 @@ checkerFramework {
     extraJavacArgs = [
             '-AsuppressWarnings=initialization',
             // stubs is passed directly through options.compilerArgumentProviders
-            '-AonlyDefs=^org\\.hibernate\\.(jdbc|exception|integrator|processor|service|spi|pretty|property\\.access|stat|engine\\.(config|jndi|profile|spi|transaction)|(action|context|bytecode)\\.spi)\\.'
+            '-AonlyDefs=^org\\.hibernate\\.(jdbc|exception|integrator|processor|service.spi|spi|pretty|property\\.access|stat|engine\\.(config|jndi|profile|spi|transaction)|(action|context|bytecode)\\.spi)\\.'
     ]
 }
 

Original file line number	Diff line number	Diff line change
`@@ -120,7 +120,7 @@ checkerFramework {`
`120`	`120`	`extraJavacArgs = [`
`121`	`121`	`'-AsuppressWarnings=initialization',`
`122`	`122`	`// stubs is passed directly through options.compilerArgumentProviders`
`123`		`- '-AonlyDefs=^org\\.hibernate\\.(jdbc\|exception\|integrator\|processor\|service\|spi\|pretty\|property\\.access\|stat\|engine\\.(config\|jndi\|profile\|spi\|transaction)\|(action\|context\|bytecode)\\.spi)\\.'`
	`123`	`+ '-AonlyDefs=^org\\.hibernate\\.(jdbc\|exception\|integrator\|processor\|service.spi\|spi\|pretty\|property\\.access\|stat\|engine\\.(config\|jndi\|profile\|spi\|transaction)\|(action\|context\|bytecode)\\.spi)\\.'`
`124`	`124`	`]`
`125`	`125`	`}`
`126`	`126`