edu.umd.cs.findbugs.ba.npe
public class IsNullValueAnalysis extends FrameDataflowAnalysis<IsNullValue,IsNullValueFrame> implements EdgeTypes, IsNullValueAnalysisFeatures
See Also: IsNullValue IsNullValueFrame IsNullValueFrameModelingVisitor
Constructor Summary | |
---|---|
IsNullValueAnalysis(MethodGen methodGen, CFG cfg, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs, AssertionMethods assertionMethods) |
Method Summary | |
---|---|
void | addLocationWhereValueBecomesNull(LocationWhereValueBecomesNull locationWhereValueBecomesNull) |
IsNullValueFrame | createFact() |
void | endTransfer(BasicBlock basicBlock, InstructionHandle end, IsNullValueFrame result) |
JavaClassAndMethod | getClassAndMethod() |
IsNullValueFrame | getFactAtMidEdge(Edge edge) |
Set<LocationWhereValueBecomesNull> | getLocationWhereValueBecomesNullSet() |
void | initEntryFact(IsNullValueFrame result) |
static void | main(String[] argv)
Test driver. |
void | meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result) |
void | meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation) |
void | setClassAndMethod(JavaClassAndMethod classAndMethod) |
void | startTransfer() |