public class DefinitelyNullSetDataflow extends AbstractDataflow<DefinitelyNullSet,DefinitelyNullSetAnalysis>
Constructor | Description |
---|---|
DefinitelyNullSetDataflow(CFG cfg,
DefinitelyNullSetAnalysis analysis) |
getFactOnEdge
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getNumIterations, getResultFact, getStartFact
public DefinitelyNullSetDataflow(CFG cfg, DefinitelyNullSetAnalysis analysis)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.