4.0.0
jar
org.checkerframework
checker-qual
3.5.0
Checker Qual
https://checkerframework.org
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code.
Please
see artifact:
org.checkerframework:checker
The MIT License
http://opensource.org/licenses/MIT
repo
https://github.com/typetools/checker-framework.git
https://github.com/typetools/checker-framework.git
mernst
Michael Ernst
mernst@cs.washington.edu
https://homes.cs.washington.edu/~mernst/
University of Washington
https://www.cs.washington.edu/
wmdietl
Werner M. Dietl
wdietl@uwaterloo.ca
University of Waterloo
http://uwaterloo.ca/
smillst
Suzanne Millstein
smillst@cs.washington.edu
University of Washington
https://www.cs.washington.edu/research/plse/