edu.umd.cs.findbugs.ba
Class TypeDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<TypeFrame,TypeAnalysis>
      extended by 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)