Indexed Artifacts (13.6M)

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

LicenseMIT
CategoriesDefect Detection Metadata
HomePage https://checkerframework.org
Date(Dec 05, 2018)
Filesjar (189 KB)  View All
RepositoriesCentral
Used By90 artifacts

Note: There is a new version for this artifact

New Version2.6.0




Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Licenses

LicenseURL
The MIT License http://opensource.org/licenses/MIT

Developers

NameEmailDev IdRolesOrganization
Michael Ernstmernst<at>cs.washington.edumernstUniversity of Washington
Werner M. Dietlwdietl<at>uwaterloo.cawmdietlUniversity of Waterloo
Suzanne Millsteinsmillst<at>cs.washington.edusmillstUniversity of Washington PLSE Group