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.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
DominatorNode
public DominatorNode(Block block)
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