checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
Versione | Repository | Usi | Data | |
---|---|---|---|---|
3.41.x | 3.41.0-eisop1 | central | dic 05, 2023 | |
3.40.x | 3.40.0-eisop2 | central | nov 25, 2023 | |
3.34.x | 3.34.0-eisop1 | central | mag 09, 2023 | |
3.27.x | 3.27.0-eisop1 | central | nov 06, 2022 |