checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
Έκδοση | Το αποθετήριο | Χρήσεις | Ημερομηνία | |
---|---|---|---|---|
3.41.x | 3.41.0-eisop1 | central | Δεκ 05, 2023 | |
3.40.x | 3.40.0-eisop2 | central | Νοε 25, 2023 | |
3.34.x | 3.34.0-eisop1 | central | Μαΐ 09, 2023 | |
3.27.x | 3.27.0-eisop1 | central | Νοε 06, 2022 |