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

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