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 a whole-program inference implementation.

Class Summary

Class	Description
AnnotationConverter	This class contains static methods that convert between Annotation and AnnotationMirror.
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.

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