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 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 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;		        }