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

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

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