org.checkerframework.common.wholeprograminference
Interfaces
WholeProgramInference
WholeProgramInferenceStorage
Classes
AnnotationConverter
SceneToStubWriter
WholeProgramInferenceImplementation
WholeProgramInferenceJavaParserStorage
WholeProgramInferenceScenesStorage
WholeProgramInferenceScenesStorage.AnnotationsInContexts
Enums
WholeProgramInference.OutputFormat