edu.umd.cs.findbugs.ba.ca
public class CallListAnalysis extends AbstractDataflowAnalysis<CallList>
Constructor Summary | |
---|---|
CallListAnalysis(CFG cfg, DepthFirstSearch dfs, ConstantPoolGen cpg) |
Method Summary | |
---|---|
void | copy(CallList source, CallList dest) |
CallList | createFact() |
BlockOrder | getBlockOrder(CFG cfg) |
void | initEntryFact(CallList fact) |
void | initResultFact(CallList fact) |
boolean | isForwards() |
boolean | isTop(CallList fact) |
static void | main(String[] argv) |
void | makeFactTop(CallList fact) |
void | meetInto(CallList start, Edge edge, CallList result) |
boolean | same(CallList a, CallList b) |