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
License | GPLMIT |
---|---|
HomePage | http://checkerframework.org |
Date | (Jul 01, 2015) |
Files | pom (4 KB) jar (16 KB) View All |
Repositories | CentralSonatypeSpring Lib MSpring Plugins |
Used By | 367 artifacts |
Compile Dependencies (0)
Category/License | Group / Artifact | Version | Updates |
---|
Licenses
License | URL |
---|---|
GNU General Public License, version 2 (GPL2), with the classpath exception | http://www.gnu.org/software/classpath/license.html |
The MIT License | http://opensource.org/licenses/MIT |
Developers
Name | Dev Id | Roles | Organization | |
---|---|---|---|---|
Michael Ernst | mernst<at>cs.washington.edu | Michael Ernst <mernst@cs.washington.edu> | University of Washington | |
Werner M. Dietl | wdietl<at>uwaterloo.ca | wmdietl | University of Waterloo | |
Suzanne Millstein | smillst<at>cs.washington.edu | Suzanne Millstein <smillst@cs.washington.edu> | University of Washington PLSE Group | |
David McArthur | mcarthur<at>cs.washington.edu | David McArthur <mcarthur@cs.washington.edu< | University of Washington PLSE Group | |
David McArthur | jthaine<at>cs.washington.edu | Javier Thaine <jthaine@cs.washington.edu< | University of Washington PLSE Group | |
Dan Brown | dbro<at>cs.washington.edu | Dan Brown <dbro@cs.washington.edu< | University of Washington PLSE Group | |
Jonathan G. Burke | jburke<at>cs.washington.edu | jonathangburke@gmail.com | University of Washington PLSE Group |