Indexed Artifacts (19.8M)

Popular Categories

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

CategoriesDefect Detection Metadata
Date(Jun 01, 2017)
Filespom (4 KB)  jar (177 KB)  View All
RepositoriesCentralSonatypeSpring Lib MSpring Plugins
Used By412 artifacts

Note: There is a new version for this artifact

New Version3.11.0

Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates


GNU General Public License, version 2 (GPL2), with the classpath exception
The MIT License


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