Package org.checkerframework.common.wholeprograminference

package org.checkerframework.common.wholeprograminference

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

Related Packages

Package	Description
org.checkerframework.common.wholeprograminference.scenelib

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.
WholeProgramInference	Interface for recording facts at (pseudo-)assignments.
WholeProgramInference.OutputFormat	The kinds of output that whole-program inference can produce.
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(org.checkerframework.afu.scenelib.el.ATypeElement) representation of an ATypeElement and its TypeUseLocation to a set of names of annotations.
WholeProgramInferenceStorage<T>	Stores annotations from whole-program inference.