public AbstractDominatorsAnalysis(CFG cfg, boolean ignoreExceptionEdges) { this.cfg = cfg; this.ignoreExceptionEdges = ignoreExceptionEdges; this.startFactMap = new IdentityHashMap<BasicBlock, BitSet>(); this.resultFactMap = new IdentityHashMap<BasicBlock, BitSet>();
public AbstractDominatorsAnalysis(CFG cfg, final boolean ignoreExceptionEdges) { this(cfg, new EdgeChooser() { public boolean choose(Edge edge) { if (ignoreExceptionEdges && edge.isExceptionEdge()) return false; else return true; } });
	public AbstractDominatorsAnalysis(CFG cfg, boolean ignoreExceptionEdges) {		this.cfg = cfg;		this.ignoreExceptionEdges = ignoreExceptionEdges;		this.startFactMap = new IdentityHashMap<BasicBlock, BitSet>();		this.resultFactMap = new IdentityHashMap<BasicBlock, BitSet>();	}