Uses of Class
edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefSet

Packages that use UnconditionalValueDerefSet

Package	Description
edu.umd.cs.findbugs.ba.deref
edu.umd.cs.findbugs.detect

Uses of UnconditionalValueDerefSet in edu.umd.cs.findbugs.ba.deref

Subclasses with type arguments of type UnconditionalValueDerefSet in edu.umd.cs.findbugs.ba.deref

Modifier and Type	Class	Description
class	UnconditionalValueDerefAnalysis	Dataflow analysis to find values unconditionally dereferenced in the future.
class	UnconditionalValueDerefDataflow	Dataflow to find value numbers unconditionally dereferenced.

Methods in edu.umd.cs.findbugs.ba.deref that return UnconditionalValueDerefSet

Modifier and Type	Method	Description
UnconditionalValueDerefSet	UnconditionalValueDerefAnalysis.createFact()

Methods in edu.umd.cs.findbugs.ba.deref with parameters of type UnconditionalValueDerefSet

Modifier and Type	Method	Description
void	UnconditionalValueDerefAnalysis.copy(UnconditionalValueDerefSet source, UnconditionalValueDerefSet dest)
int	UnconditionalValueDerefAnalysis.getLastUpdateTimestamp(UnconditionalValueDerefSet fact)
void	UnconditionalValueDerefAnalysis.initEntryFact(UnconditionalValueDerefSet result)
boolean	UnconditionalValueDerefAnalysis.isFactValid(UnconditionalValueDerefSet fact)
boolean	UnconditionalValueDerefSet.isSameAs(UnconditionalValueDerefSet otherFact)	Return whether or not this dataflow fact is identical to the one given.
boolean	UnconditionalValueDerefAnalysis.isTop(UnconditionalValueDerefSet fact)
void	UnconditionalValueDerefAnalysis.makeFactTop(UnconditionalValueDerefSet fact)
void	UnconditionalValueDerefSet.makeSameAs(UnconditionalValueDerefSet source)	Make this dataflow fact the same as the given one.
void	UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result)
void	UnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result, boolean onlyEdge)
void	UnconditionalValueDerefSet.mergeWith(UnconditionalValueDerefSet fact, ValueNumber skipMe, ValueNumberFactory valueNumberFactory)	Merge given dataflow fact into this one.
boolean	UnconditionalValueDerefAnalysis.same(UnconditionalValueDerefSet fact1, UnconditionalValueDerefSet fact2)
void	UnconditionalValueDerefAnalysis.setLastUpdateTimestamp(UnconditionalValueDerefSet fact, int lastUpdate)
void	UnconditionalValueDerefAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, UnconditionalValueDerefSet fact)
void	UnconditionalValueDerefSet.unionWith(UnconditionalValueDerefSet fact, ValueNumberFactory valueNumberFactory)

Uses of UnconditionalValueDerefSet in edu.umd.cs.findbugs.detect

Methods in edu.umd.cs.findbugs.detect with parameters of type UnconditionalValueDerefSet

Modifier and Type	Method	Description
boolean	BuildUnconditionalParamDerefDatabase.isCaught(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN)