edu.umd.cs.findbugs.ba

Class AbstractDataflowAnalysis<Fact>

public abstract class AbstractDataflowAnalysis<Fact> extends BasicAbstractDataflowAnalysis<Fact>

Abstract base class providing functionality that will be useful for most dataflow analysis implementations that model instructions within basic blocks.

Author: David Hovemeyer

See Also: Dataflow DataflowAnalysis

Method Summary
voidtransfer(BasicBlock basicBlock, InstructionHandle end, Fact start, Fact result)
abstract voidtransferInstruction(InstructionHandle handle, BasicBlock basicBlock, Fact fact)
Transfer function for a single instruction.

Method Detail

transfer

public void transfer(BasicBlock basicBlock, InstructionHandle end, Fact start, Fact result)

transferInstruction

public abstract void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, Fact fact)
Transfer function for a single instruction.

Parameters: handle the instruction basicBlock the BasicBlock containing the instruction; needed to disambiguate instructions in inlined JSR subroutines fact which should be modified based on the instruction

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.