Module org.checkerframework.checker.qual

module org.checkerframework.checker.qual

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

Packages

Exports

Package	Description
org.checkerframework.checker.builder.qual
org.checkerframework.checker.calledmethods.qual
org.checkerframework.checker.compilermsgs.qual	Qualifiers for the Compiler Message Key Checker.
org.checkerframework.checker.fenum.qual
org.checkerframework.checker.formatter.qual
org.checkerframework.checker.guieffect.qual
org.checkerframework.checker.i18n.qual
org.checkerframework.checker.i18nformatter.qual
org.checkerframework.checker.index.qual
org.checkerframework.checker.initialization.qual
org.checkerframework.checker.interning.qual
org.checkerframework.checker.lock.qual
org.checkerframework.checker.modifiability.qual
org.checkerframework.checker.mustcall.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.optional.qual
org.checkerframework.checker.propkey.qual
org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness.qual
org.checkerframework.checker.tainting.qual
org.checkerframework.checker.units.qual
org.checkerframework.common.aliasing.qual
org.checkerframework.common.initializedfields.qual
org.checkerframework.common.reflection.qual
org.checkerframework.common.returnsreceiver.qual
org.checkerframework.common.subtyping.qual
org.checkerframework.common.util.count.report.qual
org.checkerframework.common.value.qual
org.checkerframework.dataflow.qual
org.checkerframework.framework.qual	Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers).