edu.umd.cs.findbugs.ba.npe2
public class DefinitelyNullSetAnalysis extends ForwardDataflowAnalysis<DefinitelyNullSet>
Constructor Summary | |
---|---|
DefinitelyNullSetAnalysis(DepthFirstSearch dfs, ValueNumberDataflow vnaDataflow, CompactLocationNumbering compactLocationNumbering)
Constructor.
|
Method Summary | |
---|---|
void | copy(DefinitelyNullSet source, DefinitelyNullSet dest) |
DefinitelyNullSet | createFact() |
void | initEntryFact(DefinitelyNullSet result) |
void | initResultFact(DefinitelyNullSet result) |
boolean | isTop(DefinitelyNullSet fact) |
static void | main(String[] args) |
void | makeFactTop(DefinitelyNullSet fact) |
void | meetInto(DefinitelyNullSet fact, Edge edge, DefinitelyNullSet result) |
boolean | same(DefinitelyNullSet fact1, DefinitelyNullSet fact2) |
Parameters: dfs DepthFirstSearch for the method vnaDataflow value number dataflow for the method compactLocationNumbering CompactLocationNumbering for the method