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