edu.umd.cs.findbugs.classfile.engine.bcel
Class NonImplicitExceptionPostDominatorsAnalysis

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

All Implemented Interfaces:

DataflowAnalysis<java.util.BitSet>

public class NonImplicitExceptionPostDominatorsAnalysis
extends PostDominatorsAnalysis

PostDominatorsAnalysis variant in which implicit exception edges are ignored. Implicit exception edges correspond to undeclared runtime exceptions; thus, this analysis considers only normal control edges and declared exception edges.

Author:

David Hovemeyer

Constructor Summary

NonImplicitExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

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

NonImplicitExceptionPostDominatorsAnalysis

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