analysis
Sort:
popular
|
newest
A set of annotations used for code inspection support and code documentation.
Last Release on Nov 10, 2021
checker-qual contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
Last Release on May 2, 2022