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) |