Class NonImplicitExceptionPostDominatorsAnalysis
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.NonImplicitExceptionPostDominatorsAnalysis
- All Implemented Interfaces:
DataflowAnalysis<BitSet>
PostDominatorsAnalysis variant in which implicit exception edges are ignored.
Implicit exception edges correspond to undeclared runtime exceptions; thus,
this analysis considers only normal control edges and declared exception
edges.
- Author:
- David Hovemeyer
-
Constructor Summary
ConstructorDescriptionNonImplicitExceptionPostDominatorsAnalysis
(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) -
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
-
NonImplicitExceptionPostDominatorsAnalysis
public NonImplicitExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)
-