edu.umd.cs.findbugs.ba.npe
public class ReturnPathTypeAnalysis extends Object implements DataflowAnalysis<ReturnPathType>
Constructor Summary | |
---|---|
ReturnPathTypeAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)
Constructor.
|
Method Summary | |
---|---|
void | copy(ReturnPathType source, ReturnPathType dest) |
ReturnPathType | createFact() |
void | edgeTransfer(Edge edge, ReturnPathType fact) |
void | finishIteration() |
BlockOrder | getBlockOrder(CFG cfg) |
int | getLastUpdateTimestamp(ReturnPathType fact) |
ReturnPathType | getResultFact(BasicBlock block) |
ReturnPathType | getStartFact(BasicBlock block) |
void | initEntryFact(ReturnPathType result) |
void | initResultFact(ReturnPathType result) |
boolean | isForwards() |
boolean | isTop(ReturnPathType fact) |
void | makeFactTop(ReturnPathType fact) |
void | meetInto(ReturnPathType fact, Edge edge, ReturnPathType result) |
boolean | same(ReturnPathType fact1, ReturnPathType fact2) |
void | setLastUpdateTimestamp(ReturnPathType fact, int timestamp) |
void | startIteration() |
void | transfer(BasicBlock basicBlock, InstructionHandle end, ReturnPathType start, ReturnPathType result) |
Parameters: cfg the method's CFG rdfs a ReverseDepthFirstSearch on the method's CFG dfs a DepthFirstSearch on the method's CFG