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