scala.tools.nsc.backend.icode.analysis
A data-flow analysis on types, that works on ICode.
ICode
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.
A data-flow analysis on types, that works on
ICode
.