Package sootup.core.graph

Class DominanceTree

java.lang.Object

sootup.core.graph.DominanceTree

public class DominanceTree
extends Object

This class is used to build a dominance tree for a BlockStmtGraph, which helps identify the dominator-relationships among blocks

See Also:

• https://en.wikipedia.org/wiki/Dominator_(graph_theory)

Constructor Summary

Constructors

Constructor	Description
DominanceTree(@NonNull DominanceFinder dominanceFinder)

Method Summary

Modifier and Type	Method	Description
@NonNull List<BasicBlock<?>>	getAllNodesDFS()
@NonNull List<BasicBlock<?>>	getChildren(@NonNull BasicBlock<?> block)
@Nullable BasicBlock<?>	getParent(@NonNull BasicBlock<?> block)
@NonNull BasicBlock<?>	getRoot()
void	replaceNode(@NonNull BasicBlock<?> oldBlock, @NonNull BasicBlock<?> newBlock)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DominanceTree

public DominanceTree(@NonNull DominanceFinder dominanceFinder)

Method Details

getChildren

public @NonNull List<BasicBlock<?>> getChildren(@NonNull BasicBlock<?> block)

getParent

public @Nullable BasicBlock<?> getParent(@NonNull BasicBlock<?> block)

getRoot

public @NonNull BasicBlock<?> getRoot()

replaceNode

public void replaceNode(@NonNull BasicBlock<?> oldBlock,
 @NonNull BasicBlock<?> newBlock)

getAllNodesDFS

public @NonNull List<BasicBlock<?>> getAllNodesDFS()