edu.umd.cs.findbugs.ba.type
Class TypeDataflow

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

public class TypeDataflow
extends Dataflow<TypeFrame,TypeAnalysis>


Nested Class Summary
static class TypeDataflow.LocationAndFactPair
           
 
Constructor Summary
TypeDataflow(CFG cfg, TypeAnalysis analysis)
           
 
Method Summary
 ExceptionSet getEdgeExceptionSet(Edge edge)
           
 TypeFrame getFactAfterLocation(Location loc)
           
 TypeFrame getFactAtLocation(Location loc)
           
 TypeDataflow.LocationAndFactPair getLocationAndFactForInstruction(int pc)
           
 
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)

getLocationAndFactForInstruction

public TypeDataflow.LocationAndFactPair getLocationAndFactForInstruction(int pc)