merge
protected void merge(List<BlockT> statesList)
Merge all predecessor block states into one block state. This is an iterative process,
because merging states can lead to materializations which make previous parts of the
merging operation invalid. The merging process is executed until a stable state has been
reached. This method needs to be careful to place the effects of the merging operation
into the correct blocks.
- Specified by:
merge
in class EffectsClosure.MergeProcessor
- Parameters:
statesList
- the predecessor block states of the merge