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	SceneToStubWriter provides a static method that writes an AScene in stub file format to a file SceneToStubWriter.write(org.checkerframework.common.wholeprograminference.scenelib.ASceneWrapper, java.lang.String, org.checkerframework.common.basetype.BaseTypeChecker).
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