A full type-flow analysis on a method computes in- and out-flows for each basic block (that's what MethodTFA does).
A map which returns the bottom type for unfound elements
The type flow lattice contains a binding from local variable names to types and a type stack.
The lattice of ICode types.
The lattice of type stacks.
(typeFlowAnalysis: StringAdd).self
(typeFlowAnalysis: StringFormat).self
(typeFlowAnalysis: ArrowAssoc[TypeFlowAnalysis]).x
(Since version 2.10.0) Use leftOfArrow
instead
(typeFlowAnalysis: Ensuring[TypeFlowAnalysis]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A data-flow analysis on types, that works on
ICode
.