Uses of Class
edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefSet
-
Uses of UnconditionalValueDerefSet in edu.umd.cs.findbugs.ba.deref
Modifier and TypeMethodDescriptionvoid
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
Modifier and TypeMethodDescriptionboolean
BuildUnconditionalParamDerefDatabase.isCaught
(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN)