4.0.0
org.checkerframework
checker-qual
3.40.0
Checker Qual
checker-qual contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
https://checkerframework.org/
The MIT License
http://opensource.org/licenses/MIT
repo
mernst
Michael Ernst
mernst@cs.washington.edu
https://homes.cs.washington.edu/~mernst/
University of Washington
https://www.cs.washington.edu/
smillst
Suzanne Millstein
smillst@cs.washington.edu
University of Washington
https://www.cs.washington.edu/
scm:git:https://github.com/typetools/checker-framework.git
scm:git:ssh://git@github.com/typetools/checker-framework.git
https://github.com/typetools/checker-framework.git