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(DominanceFinder dominanceFinder)

Method Summary

Modifier and Type	Method	Description
List<BasicBlock<?>>	getAllNodesDFS()
List<BasicBlock<?>>	getChildren(BasicBlock<?> block)
BasicBlock<?>	getParent(BasicBlock<?> block)
BasicBlock<?>	getRoot()
void	replaceNode(BasicBlock<?> oldBlock, 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

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

getParent

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

getRoot

@Nonnull
public BasicBlock<?> getRoot()

replaceNode

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

getAllNodesDFS

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