DepthFirstSearch dfs = getDepthFirstSearch(method); DominatorsAnalysis analysis = new DominatorsAnalysis(cfg, dfs, true); Dataflow<java.util.BitSet, DominatorsAnalysis> dataflow = new Dataflow<java.util.BitSet, DominatorsAnalysis>(cfg, analysis);
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);
		        protected DominatorsAnalysis analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        CFG cfg = getCFG(method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        DominatorsAnalysis analysis = new DominatorsAnalysis(cfg, dfs, true);			        Dataflow<java.util.BitSet, DominatorsAnalysis> dataflow =			                new Dataflow<java.util.BitSet, DominatorsAnalysis>(cfg, analysis);			        dataflow.execute();			        return analysis;		        }