checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.
Newer Version Available
This artifact is declared in 271 BOMs
Licenses
| License | URL |
|---|---|
| The MIT License | https://opensource.org/licenses/MIT |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Michael Ernst | mernst<at>cs.washington.edu | mernst | University of Washington | |
| Suzanne Millstein | smillst<at>cs.washington.edu | smillst | University of Washington |
