Class NonExceptionPostDominatorsAnalysis
java.lang.Object
edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<BitSet>
edu.umd.cs.findbugs.ba.AbstractDominatorsAnalysis
edu.umd.cs.findbugs.ba.PostDominatorsAnalysis
edu.umd.cs.findbugs.classfile.engine.bcel.NonExceptionPostDominatorsAnalysis
- All Implemented Interfaces:
DataflowAnalysis<BitSet>
PostDominatorsAnalysis variant in which all exception edges are ignored.
- Author:
- David Hovemeyer
-
Constructor Summary
ConstructorDescriptionNonExceptionPostDominatorsAnalysis
(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) Constructor. -
Method Summary
Methods inherited from class edu.umd.cs.findbugs.ba.PostDominatorsAnalysis
getBlockOrder, isForwards
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDominatorsAnalysis
copy, createFact, getAllDominatedBy, getAllDominatorsOf, initEntryFact, isTop, makeFactTop, meetInto, same, transfer
Methods inherited from class edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis
edgeTransfer, factToString, finishIteration, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration
-
Constructor Details
-
NonExceptionPostDominatorsAnalysis
public NonExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) Constructor.- Parameters:
cfg
- the CFG to compute dominator relationships forrdfs
- the ReverseDepthFirstSearch on the CFGdfs
- the DepthFirstSearch on the CFG
-