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

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

Modifier and Type	Method and Description
UnconditionalValueDerefSet	UnconditionalValueDerefAnalysis.createFact()

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

Modifier and Type	Method and 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 and Description
boolean	BuildUnconditionalParamDerefDatabase.isCaught(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN)