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

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<CallList,CallListAnalysis>
      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