321322323324325326327328329
* @return the graph's dominator tree. */ public DominatorTree getDominatorTree() { if ( this.dominatorTree == null ) this.dominatorTree = new DominatorTree(getRoots()); return this.dominatorTree; }