Class NonExceptionDominatorsAnalysis
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<java.util.BitSet>
-
- edu.umd.cs.findbugs.ba.AbstractDominatorsAnalysis
-
- edu.umd.cs.findbugs.ba.DominatorsAnalysis
-
- edu.umd.cs.findbugs.classfile.engine.bcel.NonExceptionDominatorsAnalysis
-
- All Implemented Interfaces:
DataflowAnalysis<java.util.BitSet>
public class NonExceptionDominatorsAnalysis extends DominatorsAnalysis
DominatorsAnalysis variant in which all exception edges are ignored.
-
-
Constructor Summary
Constructors Constructor Description NonExceptionDominatorsAnalysis(CFG cfg, DepthFirstSearch dfs)
Constructor.
-
Method Summary
-
Methods inherited from class edu.umd.cs.findbugs.ba.DominatorsAnalysis
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 Detail
-
NonExceptionDominatorsAnalysis
public NonExceptionDominatorsAnalysis(CFG cfg, DepthFirstSearch dfs)
Constructor.- Parameters:
cfg
- the CFG to compute dominator relationships fordfs
- the DepthFirstSearch on the CFG
-
-