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.
WholeProgramInferenceJavaParserStorage.InferredDeclared	A pair of two annotated types: an inferred type and a declared type.
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.