com.google.gwt.dev.jjs.impl.gflow

Interface Assumption<Self extends Assumption<?>>

Type Parameters:

Self - self type.

All Known Implementing Classes:

CombinedIntegratedAnalysis.CombinedAssumption, ConstantsAssumption, CopyAssumption, LivenessAssumption, UnreachableAssumptions

public interface Assumption<Self extends Assumption<?>>

Assumptions are members of the lattice used in the analysis. Assumptions are associated with graph edges and depict analysis knowledge about the flow. So far we need only join operation to perform analysis. Lattice's bottom should be represented by null. Assumption should implement correct equals() and hashCode() methods.

Method Summary

Modifier and Type	Method and Description
Self	join(Self other) Compute least upper bound.

Method Detail

join

Self join(Self other)

Compute least upper bound. Should accept null. It's allowed to return value, equal either to this or to other. If you're going to modify result of join operation, you have to copy it.