Package edu.umd.cs.findbugs.classfile.engine.bcel

Class NonImplicitExceptionDominatorsAnalysis

java.lang.Object

edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<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<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

Methods inherited from class java.lang.Object

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

Constructor Details

NonImplicitExceptionDominatorsAnalysis

public NonImplicitExceptionDominatorsAnalysis(CFG cfg,
 DepthFirstSearch dfs)

Constructor.

Parameters:

cfg - the CFG to compute dominator relationships for

dfs - the DepthFirstSearch on the CFG