protected ExceptionSetFactory analyze(Method method) { return new ExceptionSetFactory(); }
protected PostDominatorsAnalysis analyze(Method method) throws CFGBuilderException, DataflowAnalysisException { CFG cfg = getCFG(method); PostDominatorsAnalysis analysis = new PostDominatorsAnalysis( cfg, getReverseDepthFirstSearch(method), new EdgeChooser() { public boolean choose(Edge edge) { return !edge.isExceptionEdge() ||  edge.isFlagSet(EdgeTypes.EXPLICIT_EXCEPTIONS_FLAG); } } ); Dataflow<BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<BitSet, PostDominatorsAnalysis>(cfg, analysis); dataflow.execute();  return analysis; }
		        protected ExceptionSetFactory analyze(Method method) {			        return new ExceptionSetFactory();		        }