org.checkerframework.common.wholeprograminference

Interfaces

• WholeProgramInference

Classes

• AnnotationConverter
• SceneToStubWriter
• WholeProgramInferenceScenes
• WholeProgramInferenceScenesStorage
• WholeProgramInferenceScenesStorage.AnnotationsInContexts

Enums

• WholeProgramInference.OutputFormat