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)