edu.umd.cs.findbugs.ba
Class TypeDataflow

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<TypeFrame,TypeAnalysis>
      edu.umd.cs.findbugs.ba.TypeDataflow

public class TypeDataflow
extends Dataflow<TypeFrame,TypeAnalysis>

Constructor Summary

TypeDataflow(CFG cfg, TypeAnalysis analysis)

Method Summary

ExceptionSet	getEdgeExceptionSet(Edge edge)
TypeFrame	getFactAfterLocation(Location loc)
TypeFrame	getFactAtLocation(Location loc)

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

execute, getAnalysis, getCFG, getNumIterations, getResultFact, getStartFact

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeDataflow

public TypeDataflow(CFG cfg,
                    TypeAnalysis analysis)

Method Detail

getFactAtLocation

public TypeFrame getFactAtLocation(Location loc)
                            throws DataflowAnalysisException

Throws:

DataflowAnalysisException

getFactAfterLocation

public TypeFrame getFactAfterLocation(Location loc)
                               throws DataflowAnalysisException

Throws:

DataflowAnalysisException

getEdgeExceptionSet

public ExceptionSet getEdgeExceptionSet(Edge edge)