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