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 fromDominatorWalker
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default voidendVisit(BasicBlock block, T state)default booleanfilter(BasicBlock block)Called before visiting block.default voidsetContext(DominatorWalkerContext context)Tvisit(BasicBlock block)Visits block and returns visit state.
-
-
-
Method Detail
-
setContext
default void setContext(DominatorWalkerContext context)
-
filter
default boolean filter(BasicBlock block)
Called before visiting block. This method should tell whether this block and all of its descendant blocks should be visited.
-
visit
T visit(BasicBlock block)
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
default void endVisit(BasicBlock block, T state)
-
-