edu.umd.cs.findbugs.ba

Class BlockTypeAnalysis

public class BlockTypeAnalysis extends BasicAbstractDataflowAnalysis<BlockType>

Dataflow analysis to determine the nesting of catch and finally blocks within a method.

Author: David Hovemeyer

See Also: BlockType

Constructor Summary
BlockTypeAnalysis(DepthFirstSearch dfs)
Constructor.
Method Summary
voidcopy(BlockType source, BlockType dest)
BlockTypecreateFact()
BlockOrdergetBlockOrder(CFG cfg)
voidinitEntryFact(BlockType result)
voidinitResultFact(BlockType result)
booleanisForwards()
booleanisTop(BlockType fact)
static voidmain(String[] argv)
voidmakeFactTop(BlockType fact)
voidmeetInto(BlockType fact, Edge edge, BlockType result)
booleansame(BlockType fact1, BlockType fact2)
voidtransfer(BasicBlock basicBlock, InstructionHandle end, BlockType start, BlockType result)

Constructor Detail

BlockTypeAnalysis

public BlockTypeAnalysis(DepthFirstSearch dfs)
Constructor.

Parameters: dfs a DepthFirstSearch for the method to be analyzed

Method Detail

copy

public void copy(BlockType source, BlockType dest)

createFact

public BlockType createFact()

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg)

initEntryFact

public void initEntryFact(BlockType result)

initResultFact

public void initResultFact(BlockType result)

isForwards

public boolean isForwards()

isTop

public boolean isTop(BlockType fact)

main

public static void main(String[] argv)

makeFactTop

public void makeFactTop(BlockType fact)

meetInto

public void meetInto(BlockType fact, Edge edge, BlockType result)

same

public boolean same(BlockType fact1, BlockType fact2)

transfer

public void transfer(BasicBlock basicBlock, InstructionHandle end, BlockType start, BlockType result)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.