Uses of Class
edu.umd.cs.findbugs.ba.npe2.DefinitelyNullSet
-
Packages that use DefinitelyNullSet Package Description edu.umd.cs.findbugs.ba.npe2 This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. -
-
Uses of DefinitelyNullSet in edu.umd.cs.findbugs.ba.npe2
Methods in edu.umd.cs.findbugs.ba.npe2 that return DefinitelyNullSet Modifier and Type Method Description DefinitelyNullSet
DefinitelyNullSetAnalysis. createFact()
Methods in edu.umd.cs.findbugs.ba.npe2 with parameters of type DefinitelyNullSet Modifier and Type Method Description void
DefinitelyNullSetAnalysis. copy(DefinitelyNullSet source, DefinitelyNullSet dest)
void
DefinitelyNullSetAnalysis. edgeTransfer(Edge edge, DefinitelyNullSet fact)
void
DefinitelyNullSetAnalysis. initEntryFact(DefinitelyNullSet result)
boolean
DefinitelyNullSetAnalysis. isFactValid(DefinitelyNullSet fact)
boolean
DefinitelyNullSetAnalysis. isTop(DefinitelyNullSet fact)
void
DefinitelyNullSetAnalysis. makeFactTop(DefinitelyNullSet fact)
void
DefinitelyNullSet. makeSameAs(DefinitelyNullSet other)
void
DefinitelyNullSetAnalysis. meetInto(DefinitelyNullSet fact, Edge edge, DefinitelyNullSet result)
void
DefinitelyNullSet. mergeWith(DefinitelyNullSet other)
void
AcmpCondition. refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
Deprecated.abstract void
Condition. refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
void
IfNullCondition. refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet)
boolean
DefinitelyNullSetAnalysis. same(DefinitelyNullSet fact1, DefinitelyNullSet fact2)
void
DefinitelyNullSetAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, DefinitelyNullSet fact)
-