Package | Description |
---|---|
edu.umd.cs.findbugs.ba.deref |
Modifier and Type | Method and Description |
---|---|
UnconditionalValueDerefSet |
UnconditionalValueDerefAnalysis.createFact() |
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) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.