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.

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(ASceneWrapper,String).
WholeProgramInferenceScenes	WholeProgramInferenceScenes is an implementation of WholeProgramInference that uses a storage class (WholeProgramInferenceScenesStorage) that manipulates AScenes to perform whole-program inference, and writes them out to a .jaif file at the end.
WholeProgramInferenceScenesStorage	This class stores annotations for fields, method return types, and method parameters.
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