protected ExceptionSetFactory analyze(Method method) { return new ExceptionSetFactory();
protected PostDominatorsAnalysis analyze(Method method) throws DataflowAnalysisException, CFGBuilderException { CFG cfg = getCFG(method); ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(method); PostDominatorsAnalysis analysis = new PostDominatorsAnalysis(cfg, rdfs, true); Dataflow<java.util.BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<java.util.BitSet, PostDominatorsAnalysis>(cfg, analysis); dataflow.execute(); return analysis;
		        protected ExceptionSetFactory analyze(Method method) {			        return new ExceptionSetFactory();		        }