void |
ReturnPathAnalysis.copy(ReturnPath source,
ReturnPath dest) |
void |
ReturnPath.copyFrom(ReturnPath other) |
void |
ReturnPathAnalysis.initEntryFact(ReturnPath fact) |
boolean |
ReturnPathAnalysis.isFactValid(ReturnPath fact) |
boolean |
ReturnPathAnalysis.isTop(ReturnPath fact) |
void |
ReturnPathAnalysis.makeFactTop(ReturnPath fact) |
void |
ReturnPathAnalysis.meetInto(ReturnPath fact,
Edge edge,
ReturnPath result) |
void |
ReturnPath.mergeWith(ReturnPath other) |
boolean |
ReturnPathAnalysis.same(ReturnPath fact1,
ReturnPath fact2) |
boolean |
ReturnPath.sameAs(ReturnPath other) |
void |
ReturnPathAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
ReturnPath fact) |