/**
* This method returns true if the passed node dominates this node
*
* @param master the proposed dominating node
* @return whether the passed node dominates me
*/
boolean _isDominatedBy(DominatorTreeNode master) {
DominatorTreeNode node = this;
while ((node != null) && (node != master)) {
node = (DominatorTreeNode) node.getParent();
}
return node == master;
}
private void initializeRanges() {
DominatorTreeNode node = this;
DominatorTreeNode parent = (DominatorTreeNode) getParent();
while (parent != null) {
node = parent;
parent = (DominatorTreeNode) node.getParent();
}
node.initializeRanges(0);
}