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 has auxiliary methods that performs conversion between Annotation and AnnotationMirror.
WholeProgramInferenceScenes	WholeProgramInferenceScenes is an implementation of WholeProgramInference that uses a helper class (WholeProgramInferenceScenesHelper) that manipulates .jaif files to perform whole-program inference.
WholeProgramInferenceScenesHelper	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