Package org.checkerframework.common.wholeprograminference

This package implements whole-program inference, an interprocedural inference that infers types and inserts them into a program.

See: Description

Interface Summary

Interface	Description
WholeProgramInference	Interface for recording facts at (pseudo-)assignments.
WholeProgramInferenceStorage<T>	Stores annotations from whole-program inference.

Class Summary

Class	Description
AnnotationConverter	This class contains static methods that convert between Annotation and AnnotationMirror.
SceneToStubWriter	Static method SceneToStubWriter.write(org.checkerframework.common.wholeprograminference.scenelib.ASceneWrapper, java.lang.String, org.checkerframework.common.basetype.BaseTypeChecker) writes an AScene to a file in stub file format.
WholeProgramInferenceImplementation<T>	This is the primary implementation of WholeProgramInference.
WholeProgramInferenceJavaParserStorage	This is an implementation of WholeProgramInferenceStorage that stores annotations directly with the JavaParser node corresponding to the annotation's location.
WholeProgramInferenceScenesStorage	This class stores annotations using scenelib objects.
WholeProgramInferenceScenesStorage.AnnotationsInContexts	Maps the WholeProgramInferenceScenesStorage.aTypeElementToString(scenelib.annotations.el.ATypeElement) representation of an ATypeElement and its TypeUseLocation to a set of names of annotations.

Enum Summary

Enum	Description
WholeProgramInference.OutputFormat	The kinds of output that whole-program inference can produce.

Package org.checkerframework.common.wholeprograminference Description

This package implements whole-program inference, an interprocedural inference that infers types and inserts them into a program.

See the Checker Framework Manual:

Whole-program inference