| Interface | Description |
|---|---|
| WholeProgramInference |
Interface for a whole-program inference implementation.
|
| Class | Description |
|---|---|
| AnnotationConverter |
This class has auxiliary methods that performs conversion between
Annotation
and AnnotationMirror. |
| WholeProgramInferenceScenes |
WholeProgramInferenceScenes is an implementation of
WholeProgramInference that uses a helper class
(WholeProgramInferenceScenesHelper)
that manipulates .jaif files to perform whole-program inference. |
| WholeProgramInferenceScenesHelper |
This class stores annotations for fields, method return types, and method parameters.
|