DominatorsAnalysis analysis = nonExceptionDominatorsAnalysisMap.get(method); if (analysis == null) { CFG cfg = getCFG(method); DepthFirstSearch dfs = getDepthFirstSearch(method); analysis = new DominatorsAnalysis(cfg, dfs, true); Dataflow<java.util.BitSet, DominatorsAnalysis> dataflow = new Dataflow<java.util.BitSet, DominatorsAnalysis>(cfg, analysis); dataflow.execute(); nonExceptionDominatorsAnalysisMap.put(method, analysis); } return analysis;
return nonExceptionDominatorsAnalysisFactory.getAnalysis(method);
	public DominatorsAnalysis getNonExceptionDominatorsAnalysis(Method method)		throws CFGBuilderException, DataflowAnalysisException {		DominatorsAnalysis analysis = nonExceptionDominatorsAnalysisMap.get(method);		if (analysis == null) {			CFG cfg = getCFG(method);			DepthFirstSearch dfs = getDepthFirstSearch(method);			analysis = new DominatorsAnalysis(cfg, dfs, true);			Dataflow<java.util.BitSet, DominatorsAnalysis> dataflow =				new Dataflow<java.util.BitSet, DominatorsAnalysis>(cfg, analysis);			dataflow.execute();			nonExceptionDominatorsAnalysisMap.put(method, analysis);		}		return analysis;	}