Top Description Packages

Checker Qual 3.38.0

Resources
Homepage, Development, License (The MIT License)
Dependencies
java.base
Maven Central
Group ID:org.checkerframework
Artifacts:checker-qual

Project Checker Qual

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

Release 3.38.0

Release Date
2023-09-01
Version Control
Git
https://github.com/typetools/checker-framework.git
Git
ssh://[email protected]/typetools/checker-framework.git
Developers
Michael Ernst , Suzanne Millstein

Package Summary

Modifier and TypePackage and Description
package
package
package
org.checkerframework.checker.compilermsgs.qual

Qualifiers for the Compiler Message Key Checker.

package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
package
org.checkerframework.framework.qual

Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers).