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>

public class NonImplicitExceptionPostDominatorsAnalysis
extends PostDominatorsAnalysis

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.

Constructor Summary

Constructors

Constructor	Description
NonImplicitExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

Method Summary

Methods inherited from class PostDominatorsAnalysis

getBlockOrder, isForwards

Methods inherited from class AbstractDominatorsAnalysis

copy, createFact, getAllDominatedBy, getAllDominatorsOf, initEntryFact, isTop, makeFactTop, meetInto, same, transfer

Methods inherited from class BasicAbstractDataflowAnalysis

edgeTransfer, factToString, finishIteration, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NonImplicitExceptionPostDominatorsAnalysis

public NonImplicitExceptionPostDominatorsAnalysis(CFG cfg,
 ReverseDepthFirstSearch rdfs,
 DepthFirstSearch dfs)