Methods in edu.umd.cs.findbugs.ba.deref with parameters of type UnconditionalValueDerefSet |
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)
|