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
Tagscompatibilityvalidation
HomePage https://checkerframework.org
DateNov 02, 2023
Filespom (2 KB)  jar (5 KB)  View All
RepositoriesCentral
Ranking#759 in MvnRepository (See Top Artifacts)
Used By637 artifacts


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.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