| Name | Description |
|---|---|
| AnalysisVisitor | |
| CallInfo | Used by analysis of routine in case we know additional information about called context. |
| ConditionBranchEnum | Helper methods for ConditionBranch. |
| ExpressionAnalysis | Visits single expressions and project transformations to flow state. |
| FlowContext | Manages context of local variables, their merged type and return value type. |
| PHPDoc | Helpers class for resolving PHPDoc types. |
| StateBinder | Binds flow state to a routine. |
| TypeRefContext | Context of TypeRefMask and ITypeRef instances. Contains additional information for routine context like current namespace, current type context etc. |