This package contains three subpackages for three calculation steps of Infer
Type:
- GATHERING phase: Find all invocations and out assignments of a declaration
element
- CALCULATION phase: Calculate which types to create and which declaration
elements to re-declare
- MANIPULATION phase: Actually execute the calculated actions on source code.
Classes in this package are general-purpose used by all three subpackages.