Class NonExceptionPostDominatorsAnalysis

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

All Implemented Interfaces:

DataflowAnalysis<BitSet>

public class NonExceptionPostDominatorsAnalysis
extends PostDominatorsAnalysis

PostDominatorsAnalysis variant in which all exception edges are ignored.

Constructor Summary

Constructors

Constructor	Description
NonExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)	Constructor.

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

NonExceptionPostDominatorsAnalysis

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

Constructor.

Parameters:

cfg - the CFG to compute dominator relationships for

rdfs - the ReverseDepthFirstSearch on the CFG

dfs - the DepthFirstSearch on the CFG