edu.umd.cs.findbugs.ba
public abstract class ResourceValueFrameModelingVisitor extends AbstractFrameModelingVisitor<ResourceValue,ResourceValueFrame>
Constructor Summary | |
---|---|
ResourceValueFrameModelingVisitor(ConstantPoolGen cpg) |
Method Summary | |
---|---|
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.
|
abstract void | transferInstruction(InstructionHandle handle, BasicBlock basicBlock)
Subclasses must override this to model the effect of the
given instruction on the current frame. |
Parameters: inv the InvokeInstruction to which the resource instance is passed as an argument instanceArgNum the first argument the instance is passed in