A Scope is also used as a lattice element for flow-sensitive type inference. As a lattice element, a Scope is viewed as a map from names to types. A name not in the map is considered to have the bottom type. The join of two maps m1 and m2 is the map of the union of names with {@link JSType#getLeastSupertype}to meet the m1 type and m2 type. @see NodeTraversal @see DataFlowAnalysis
|
|