edu.umd.cs.findbugs.ba
public class BlockTypeAnalysis extends BasicAbstractDataflowAnalysis<BlockType>
See Also: BlockType
| Constructor Summary | |
|---|---|
| BlockTypeAnalysis(DepthFirstSearch dfs)
Constructor.
| |
| Method Summary | |
|---|---|
| void | copy(BlockType source, BlockType dest) |
| BlockType | createFact() |
| BlockOrder | getBlockOrder(CFG cfg) |
| void | initEntryFact(BlockType result) |
| void | initResultFact(BlockType result) |
| boolean | isForwards() |
| boolean | isTop(BlockType fact) |
| static void | main(String[] argv) |
| void | makeFactTop(BlockType fact) |
| void | meetInto(BlockType fact, Edge edge, BlockType result) |
| boolean | same(BlockType fact1, BlockType fact2) |
| void | transfer(BasicBlock basicBlock, InstructionHandle end, BlockType start, BlockType result) |
Parameters: dfs a DepthFirstSearch for the method to be analyzed