Package org.teavm.model.util
Interface DominatorWalkerCallback<T>
- Type Parameters:
T
- type of state that can be saved for each visited node.
public interface DominatorWalkerCallback<T>
An object that receives information from
DominatorWalker
-
Method Summary
Modifier and TypeMethodDescriptiondefault void
endVisit
(BasicBlock block, T state) default boolean
filter
(BasicBlock block) Called before visiting block.default void
setContext
(DominatorWalkerContext context) visit
(BasicBlock block) Visits block and returns visit state.
-
Method Details
-
setContext
-
filter
Called before visiting block. This method should tell whether this block and all of its descendant blocks should be visited. -
visit
Visits block and returns visit state. This state is saved by walker and then passed toendVisit(BasicBlock, Object)
after all of this block's descendants visited.- Returns:
- state that further will be passed to
endVisit(BasicBlock, Object)
-
endVisit
-