Class NonImplicitExceptionDominatorsAnalysis
- 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.NonImplicitExceptionDominatorsAnalysis
-
- All Implemented Interfaces:
DataflowAnalysis<java.util.BitSet>
public class NonImplicitExceptionDominatorsAnalysis extends DominatorsAnalysis
DominatorsAnalysis variant in which implicit exception edges are ignored. Implicit exception edges represent the control flow due to the emission of unchecked exceptions, so the analysis only considers control flow resulting from normal control structures and checked exceptions.
-
-
Constructor Summary
Constructors Constructor Description NonImplicitExceptionDominatorsAnalysis(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
-
NonImplicitExceptionDominatorsAnalysis
public NonImplicitExceptionDominatorsAnalysis(CFG cfg, DepthFirstSearch dfs)
Constructor.- Parameters:
cfg
- the CFG to compute dominator relationships fordfs
- the DepthFirstSearch on the CFG
-
-