Indexed Artifacts (15.5M)

Popular Categories

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

LicenseGPLMIT
CategoriesDefect Detection Metadata
HomePage http://checkerframework.org
Date(May 02, 2014)
Filespom (4 KB)  jar (133 KB)  View All
RepositoriesCentralSonatypeSpring Lib MSpring Plugins
Used By145 artifacts

Note: There is a new version for this artifact

New Version2.11.1




Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Licenses

LicenseURL
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

NameEmailDev IdRolesOrganization
Michael Ernstmernst<at>cs.washington.eduMichael Ernst <mernst@cs.washington.edu>University of Washington
Werner M. Dietlwdietl<at>uwaterloo.cawmdietlUniversity of Waterloo
Suzanne Millsteinsmillst<at>cs.washington.eduSuzanne Millstein <smillst@cs.washington.edu>University of Washington PLSE Group
David McArthurmcarthur<at>cs.washington.eduDavid McArthur <mcarthur@cs.washington.edu<University of Washington PLSE Group
David McArthurjthaine<at>cs.washington.eduJavier Thaine <jthaine@cs.washington.edu<University of Washington PLSE Group
Dan Browndbro<at>cs.washington.eduDan Brown <dbro@cs.washington.edu<University of Washington PLSE Group
Jonathan G. Burkejburke<at>cs.washington.edujonathangburke@gmail.comUniversity of Washington PLSE Group