typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
990 stars 347 forks source link

Update manual with example of a compound checker (`Signedness`) #6466

Closed jyoo980 closed 3 months ago