search

jspecify / jspecify-reference-checker

The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
https://jspecify.org
Apache License 2.0
27 stars 7 forks source link

Disable checking of contracts. #183

Closed cpovirk closed 4 months ago

cpovirk commented 4 months ago

We've historically accomplished this with -AsuppressWarnings, but this CL's solution may be more general. Also, it avoids running some code entirely, which saves us from having to keep that code updated for the very new JDKs that we run with. (It might also help performance if we're lucky, and maybe it moves us a step closer to not needing JavaParser (though that may be on the way out, anyway).)

cpovirk commented 4 months ago

Merging despite pre-existing CI failures, for which I've filed https://github.com/jspecify/jspecify-reference-checker/issues/184 and created https://github.com/jspecify/jspecify-reference-checker/pull/185.