Package | Description |
---|---|
edu.umd.cs.findbugs.ba.npe |
Modifier and Type | Method and Description |
---|---|
ReturnPathType |
ReturnPathTypeAnalysis.createFact() |
Modifier and Type | Method and Description |
---|---|
void |
ReturnPathTypeAnalysis.copy(ReturnPathType source,
ReturnPathType dest) |
void |
ReturnPathType.copyFrom(ReturnPathType other)
Make this dataflow fact an exact copy of the other one.
|
void |
ReturnPathTypeAnalysis.edgeTransfer(Edge edge,
ReturnPathType fact) |
int |
ReturnPathTypeAnalysis.getLastUpdateTimestamp(ReturnPathType fact) |
void |
ReturnPathTypeAnalysis.initEntryFact(ReturnPathType result) |
boolean |
ReturnPathTypeAnalysis.isTop(ReturnPathType fact) |
void |
ReturnPathTypeAnalysis.makeFactTop(ReturnPathType fact) |
void |
ReturnPathTypeAnalysis.meetInto(ReturnPathType fact,
Edge edge,
ReturnPathType result) |
void |
ReturnPathType.mergeWith(ReturnPathType fact)
Merge this fact with given fact.
|
boolean |
ReturnPathTypeAnalysis.same(ReturnPathType fact1,
ReturnPathType fact2) |
void |
ReturnPathTypeAnalysis.setLastUpdateTimestamp(ReturnPathType fact,
int timestamp) |
void |
ReturnPathTypeAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
ReturnPathType start,
ReturnPathType result) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.