org.checkerframework.common.wholeprograminference

Interfaces

• WholeProgramInference

Classes

• AnnotationConverter
• WholeProgramInferenceScenes
• WholeProgramInferenceScenesHelper