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

Class NonExceptionPostdominatorsAnalysis

java.lang.Object

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

public class NonExceptionPostdominatorsAnalysis
extends PostDominatorsAnalysis

PostDominatorsAnalysis variant in which all exception edges are ignored.

Author:

David Hovemeyer

Constructor Summary

Constructors

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

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