| edu.umd.cs.findbugs.ba.AbstractDataflow
Method Summary | |
public Fact | getFactOnEdge(Edge edge) Get the fact that is true on the given control edge. |
AbstractDataflow | public AbstractDataflow(CFG cfg, AnalysisType analysis)(Code) | | Constructor.
Parameters: cfg - CFG of the method on which dfa is performed Parameters: analysis - the dataflow analysis |
|
|