checker-framework 3.49.6 API
Packages
Package
Description
Provides interfaces and classes for finding where in the existing source to insert annotations
etc.
The Annotation Scene Library provides classes to represent the annotations on a Java program and
read and write those annotations in various formats.
annotations.el provides classes that associate annotations with Java elements.annotations.field provides classes that store the types of annotation fields.org.checkerframework.afu.scenelib.io provides classes for the input and output of AScenes to/from various formats.Test of package annotations.
Qualifiers for the Compiler Message Key Checker.
The implementation of the Fake Enum Checker.
Provides a type-checker plug-in for the
Interned qualifier that finds (and verifies the
absence of) equality-testing and interning errors.Contains a simple type-checker plug-in that performs assignment and pseudo-assignment checks on
annotated types.
This package implements whole-program inference, an interprocedural inference that infers types
and inserts them into a program.
Classes using for live variable analysis.
Contains an extension of the general org.checkerframework.dataflow framework that is specific to
the Checker Framework and can be used by any checker.
Contains the basic annotations to be used by all type systems and meta-annotations to qualify
annotations (qualifiers).
Contains the essential functionality for interfacing a compile-time (source) type-checker plug-in
to the Java compiler.
Contains a way of representing the type of a program element that considers the type qualifiers
on that element (and ignores its Java type).
Despite the name
visitor/, this package does not just contain visitors.