edu.umd.cs.findbugs.ba
public abstract class AbstractDataflowAnalysis<Fact> extends BasicAbstractDataflowAnalysis<Fact>
See Also: Dataflow DataflowAnalysis
Method Summary | |
---|---|
void | transfer(BasicBlock basicBlock, InstructionHandle end, Fact start, Fact result) |
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