PostDominatorsAnalysis analysis = nonExceptionPostDominatorsAnalysisMap.get(method); if (analysis == null) { CFG cfg = getCFG(method); ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(method); analysis = new PostDominatorsAnalysis(cfg, rdfs, true); Dataflow<java.util.BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<java.util.BitSet, PostDominatorsAnalysis>(cfg, analysis); dataflow.execute(); nonExceptionPostDominatorsAnalysisMap.put(method, analysis); } return analysis;
return nonExceptionPostDominatorsAnalysisFactory.getAnalysis(method);
	public PostDominatorsAnalysis getNonExceptionPostDominatorsAnalysis(Method method)		throws CFGBuilderException, DataflowAnalysisException {		PostDominatorsAnalysis analysis = nonExceptionPostDominatorsAnalysisMap.get(method);		if (analysis == null) {			CFG cfg = getCFG(method);			ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(method);			analysis = new PostDominatorsAnalysis(cfg, rdfs, true);			Dataflow<java.util.BitSet, PostDominatorsAnalysis> dataflow =				new Dataflow<java.util.BitSet, PostDominatorsAnalysis>(cfg, analysis);			dataflow.execute();			nonExceptionPostDominatorsAnalysisMap.put(method, analysis);		}		return analysis;	}