@Override public DominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException { CFG cfg = getCFG(analysisCache, descriptor); DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor); DominatorsAnalysis analysis = new DominatorsAnalysis(cfg, dfs, true); Dataflow<java.util.BitSet, DominatorsAnalysis> dataflow = new Dataflow<>(cfg, analysis); dataflow.execute(); return analysis; } }
@Override public NonImplicitExceptionPostDominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException { CFG cfg = getCFG(analysisCache, descriptor); NonImplicitExceptionPostDominatorsAnalysis analysis = new NonImplicitExceptionPostDominatorsAnalysis(cfg, getReverseDepthFirstSearch(analysisCache, descriptor), getDepthFirstSearch(analysisCache, descriptor)); Dataflow<BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<>(cfg, analysis); dataflow.execute(); return analysis; } }
@Override public NonExceptionPostdominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException { CFG cfg = getCFG(analysisCache, descriptor); ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(analysisCache, descriptor); NonExceptionPostdominatorsAnalysis analysis = new NonExceptionPostdominatorsAnalysis(cfg, rdfs, getDepthFirstSearch( analysisCache, descriptor)); Dataflow<java.util.BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<>(cfg, analysis); dataflow.execute(); return analysis; } }
profiler.start(resourceTracker.getClass()); try { dataflow.execute(); } finally { profiler.end(resourceTracker.getClass());
@Override public DominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException { CFG cfg = getCFG(analysisCache, descriptor); DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor); 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; } }
@Override public NonImplicitExceptionPostDominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException { CFG cfg = getCFG(analysisCache, descriptor); NonImplicitExceptionPostDominatorsAnalysis analysis = new NonImplicitExceptionPostDominatorsAnalysis(cfg, getReverseDepthFirstSearch(analysisCache, descriptor), getDepthFirstSearch(analysisCache, descriptor)); Dataflow<BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<BitSet, PostDominatorsAnalysis>(cfg, analysis); dataflow.execute(); return analysis; } }
@Override public NonExceptionPostdominatorsAnalysis analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException { CFG cfg = getCFG(analysisCache, descriptor); ReverseDepthFirstSearch rdfs = getReverseDepthFirstSearch(analysisCache, descriptor); NonExceptionPostdominatorsAnalysis analysis = new NonExceptionPostdominatorsAnalysis(cfg, rdfs, getDepthFirstSearch( analysisCache, descriptor)); Dataflow<java.util.BitSet, PostDominatorsAnalysis> dataflow = new Dataflow<java.util.BitSet, PostDominatorsAnalysis>(cfg, analysis); dataflow.execute(); return analysis; } }
profiler.start(resourceTracker.getClass()); try { dataflow.execute(); } finally { profiler.end(resourceTracker.getClass());