joeq.Compiler.Analysis.IPSSA
Interface DominatorQuery

All Known Implementing Classes:

SimpleDominatorQuery

public interface DominatorQuery

Author:

V.Benjamin Livshits

Method Summary

BasicBlock	getBasicBlock(Quad quad)
void	getDominanceFrontier(Quad q, Set set) Fills set with the dominance frontier of q
Quad	getImmediateDominator(Quad q) The result is null for the top node of the CFG.
void	getIteratedDominanceFrontier(Quad q, Set set) Fills set with the iterated dominance frontier of q
boolean	isTop(Quad q) Checks if the node is the top node of the CFG.
void	printDot(PrintStream out) Prints the dominator tree on Quads in dot format.

Method Detail

getImmediateDominator

Quad getImmediateDominator(Quad q)

The result is null for the top node of the CFG.

isTop

boolean isTop(Quad q)

Checks if the node is the top node of the CFG.

getDominanceFrontier

void getDominanceFrontier(Quad q,
                          Set set)

Fills set with the dominance frontier of q

getIteratedDominanceFrontier

void getIteratedDominanceFrontier(Quad q,
                                  Set set)

Fills set with the iterated dominance frontier of q

printDot

void printDot(PrintStream out)

Prints the dominator tree on Quads in dot format.

getBasicBlock

BasicBlock getBasicBlock(Quad quad)