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