edu.umd.cs.findbugs.ba
public class AbstractDataflow<Fact,AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> extends Dataflow<Fact,AnalysisType>
See Also: Dataflow BasicAbstractDataflowAnalysis
Constructor Summary | |
---|---|
AbstractDataflow(CFG cfg, AnalysisType analysis)
Constructor.
|
Method Summary | |
---|---|
Fact | getFactAfterLocation(Location location)
Get dataflow fact after given Location.
|
Fact | getFactAtLocation(Location location)
Get dataflow fact at given Location.
|
Fact | getFactOnEdge(Edge edge)
Get the fact that is true on the given control edge.
|
Parameters: cfg CFG of the method on which dfa is performed analysis the dataflow analysis
Parameters: location the Location
Returns: the dataflow fact
Throws: DataflowAnalysisException
Parameters: location the Location
Returns: the dataflow fact
Throws: DataflowAnalysisException
Parameters: edge the edge
Returns: the fact that is true on the edge
Throws: DataflowAnalysisException