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

Class NonExceptionDominatorsAnalysis

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.NonExceptionDominatorsAnalysis

All Implemented Interfaces:

DataflowAnalysis<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

Methods inherited from class java.lang.Object

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

Constructor Details

NonExceptionDominatorsAnalysis

public NonExceptionDominatorsAnalysis(CFG cfg,
 DepthFirstSearch dfs)

Constructor.

Parameters:

cfg - the CFG to compute dominator relationships for

dfs - the DepthFirstSearch on the CFG