soot.toolkits.graph.pdg

Class MHGDominatorTree<N>

java.lang.Object

soot.toolkits.graph.DominatorTree<N>

soot.toolkits.graph.pdg.MHGDominatorTree<N>

All Implemented Interfaces:

java.lang.Iterable<DominatorNode<N>>

public class MHGDominatorTree<N>
extends DominatorTree<N>

Constructs a multi-headed dominator tree. This is mostly the same as the DominatorTree but the buildTree method is changed to allow mutilple heads. This can be used for graphs that are multi-headed and cannot be augmented to become single-headed. March 2014: Pulled this code into the original DominatorTree. This class now became a stub (Steven Arzt).

Field Summary

Fields inherited from class soot.toolkits.graph.DominatorTree

dominators, godeToDode, graph, heads, tails

Constructor Summary

Constructors

Constructor and Description
MHGDominatorTree(DominatorsFinder<N> dominators)

Method Summary

Methods inherited from class soot.toolkits.graph.DominatorTree

buildTree, fetchDode, fetchParent, getChildrenOf, getDode, getGraph, getHead, getHeads, getParentOf, getPredsOf, getSuccsOf, getTails, isDominatorOf, isImmediateDominatorOf, iterator, size

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

MHGDominatorTree

public MHGDominatorTree(DominatorsFinder<N> dominators)