Home » org.checkerframework » checker-qual » 3.43.0

Checker Qual » 3.43.0

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

LicenseMIT
CategoriesDefect Detection Metadata
Tagsqualitydefectanalysismetadatavalidation
HomePage https://checkerframework.org/
DateMay 01, 2024
Filespom (2 KB)  jar (226 KB)  View All
RepositoriesCentralAlfrescoFit2CloudLoohpJamesOrekitUnvusXceptance
Ranking#233 in MvnRepository (See Top Artifacts)
#4 in Defect Detection Metadata
Used By2,447 artifacts

Note: There is a new version for this artifact

New Version3.49.4

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

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
Suzanne Millsteinsmillst<at>cs.washington.edusmillstUniversity of Washington