edu.umd.cs.findbugs.ba
public class ReturnPathAnalysis extends ForwardDataflowAnalysis<ReturnPath> implements EdgeTypes
| Constructor Summary | |
|---|---|
| ReturnPathAnalysis(DepthFirstSearch dfs) | |
| Method Summary | |
|---|---|
| void | copy(ReturnPath source, ReturnPath dest) |
| ReturnPath | createFact() |
| void | initEntryFact(ReturnPath fact) |
| void | initResultFact(ReturnPath result) |
| boolean | isTop(ReturnPath fact) |
| static void | main(String[] argv) |
| void | makeFactTop(ReturnPath fact) |
| void | meetInto(ReturnPath fact, Edge edge, ReturnPath result) |
| boolean | same(ReturnPath fact1, ReturnPath fact2) |