Skip navigation links

Package org.checkerframework.framework.qual

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

See: Description

Package org.checkerframework.framework.qual Description

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

They may serve as documentation for the type qualifiers, and aid the Checker Framework to infer the relations between the type qualifiers.

See the Checker Framework Manual:
Writing a checker
Skip navigation links