edu.umd.cs.findbugs.ba
public class StackDepthAnalysis extends ForwardDataflowAnalysis<StackDepth>
See Also: Dataflow DataflowAnalysis
Field Summary | |
---|---|
static int | BOTTOM |
static int | TOP |
Constructor Summary | |
---|---|
StackDepthAnalysis(ConstantPoolGen cpg, DepthFirstSearch dfs)
Constructor.
|
Method Summary | |
---|---|
void | copy(StackDepth source, StackDepth dest) |
StackDepth | createFact() |
void | initEntryFact(StackDepth entryFact) |
void | initResultFact(StackDepth result) |
boolean | isTop(StackDepth fact) |
static void | main(String[] argv)
Command line driver, for testing. |
void | makeFactTop(StackDepth fact) |
void | meetInto(StackDepth fact, Edge edge, StackDepth result) |
boolean | same(StackDepth fact1, StackDepth fact2) |
Parameters: cpg the ConstantPoolGen of the method whose CFG we're performing the analysis on dfs DepthFirstSearch of the method's CFG