edu.umd.cs.findbugs.ba.ca
Class CallListDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<CallList,CallListAnalysis>
      extended by edu.umd.cs.findbugs.ba.ca.CallListDataflow

public class CallListDataflow
extends Dataflow<CallList,CallListAnalysis>


Constructor Summary
CallListDataflow(CFG cfg, CallListAnalysis analysis)
           
 
Method Summary
 CallList getFactAfterLocation(Location location)
           
 CallList getFactAtLocation(Location location)
           
 
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

CallListDataflow

public CallListDataflow(CFG cfg,
                        CallListAnalysis analysis)
Method Detail

getFactAtLocation

public CallList getFactAtLocation(Location location)
                           throws DataflowAnalysisException
Throws:
DataflowAnalysisException

getFactAfterLocation

public CallList getFactAfterLocation(Location location)
                              throws DataflowAnalysisException
Throws:
DataflowAnalysisException