soot.shimple.internal.analysis
Class DominatorNode

java.lang.Object
  |
  +--soot.shimple.internal.analysis.DominatorNode

public class DominatorNode
extends java.lang.Object

Class representing a dominator. Has standard methods to find children, parents, and it can also store the dominance frontier for the node.

Fairly self-documenting.


Constructor Summary
DominatorNode(Block block)
           
 
Method Summary
 boolean addChild(DominatorNode child)
           
 boolean addToDominanceFrontier(DominatorNode frontierNode)
           
 boolean dominates(DominatorNode node)
           
 Block getBlock()
           
 java.util.List getChildren()
           
 java.util.List getDominanceFrontier()
           
 DominatorNode getParent()
           
 java.util.List getPreds()
           
 java.util.List getSuccs()
           
 boolean isFrontierKnown()
           
 boolean isHead()
           
 boolean isImmediateDominator(DominatorNode node)
           
 boolean isTail()
           
 void setDominatorTree(DominatorTree dominatorTree)
           
 void setFrontierKnown()
           
 void setParent(DominatorNode parent)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DominatorNode

public DominatorNode(Block block)
Method Detail

setParent

public void setParent(DominatorNode parent)

addChild

public boolean addChild(DominatorNode child)

setDominatorTree

public void setDominatorTree(DominatorTree dominatorTree)

addToDominanceFrontier

public boolean addToDominanceFrontier(DominatorNode frontierNode)

setFrontierKnown

public void setFrontierKnown()

getBlock

public Block getBlock()

getParent

public DominatorNode getParent()

isImmediateDominator

public boolean isImmediateDominator(DominatorNode node)

getChildren

public java.util.List getChildren()

getPreds

public java.util.List getPreds()

getSuccs

public java.util.List getSuccs()

isFrontierKnown

public boolean isFrontierKnown()

getDominanceFrontier

public java.util.List getDominanceFrontier()

isHead

public boolean isHead()

isTail

public boolean isTail()

dominates

public boolean dominates(DominatorNode node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object