edu.umd.cs.findbugs.ba

Class ResourceValueFrameModelingVisitor

public abstract class ResourceValueFrameModelingVisitor extends AbstractFrameModelingVisitor<ResourceValue,ResourceValueFrame>

Constructor Summary
ResourceValueFrameModelingVisitor(ConstantPoolGen cpg)
Method Summary
protected booleaninstanceEscapes(InvokeInstruction inv, int instanceArgNum)
Override this to check for methods that it is legal to pass the instance to without the instance escaping.
abstract voidtransferInstruction(InstructionHandle handle, BasicBlock basicBlock)
Subclasses must override this to model the effect of the given instruction on the current frame.

Constructor Detail

ResourceValueFrameModelingVisitor

public ResourceValueFrameModelingVisitor(ConstantPoolGen cpg)

Method Detail

instanceEscapes

protected boolean instanceEscapes(InvokeInstruction inv, int instanceArgNum)
Override this to check for methods that it is legal to pass the instance to without the instance escaping. By default, we consider all methods to be possible escape routes.

Parameters: inv the InvokeInstruction to which the resource instance is passed as an argument instanceArgNum the first argument the instance is passed in

transferInstruction

public abstract void transferInstruction(InstructionHandle handle, BasicBlock basicBlock)
Subclasses must override this to model the effect of the given instruction on the current frame.
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.