- All Implemented Interfaces:
- com.google.common.base.Function<java.util.List<MaybeReachingVariableUse.ReachingUses>,MaybeReachingVariableUse.ReachingUses>, JoinOp<MaybeReachingVariableUse.ReachingUses>
- Enclosing class:
- MaybeReachingVariableUse
private static class MaybeReachingVariableUse.ReachingUsesJoinOp
extends java.lang.Object
implements JoinOp<MaybeReachingVariableUse.ReachingUses>
The join is a simple union because of the "may be" nature of the analysis.
Consider: A = 1; if (x) { A = 2 }; alert(A);
The read of A "may be" exposed to A = 1 in the beginning.