Package 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

Constructors

Constructor	Description
NonImplicitExceptionPostDominatorsAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)

Method Summary

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

Methods inherited from class edu.umd.cs.findbugs.ba.PostDominatorsAnalysis

getBlockOrder, isForwards

Constructor Detail

NonImplicitExceptionPostDominatorsAnalysis

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