public interface ResourceTracker<Resource>
ResourceValueAnalysis
Modifier and Type | Method and Description |
---|---|
ResourceValueFrameModelingVisitor |
createVisitor(Resource resource,
org.apache.bcel.generic.ConstantPoolGen cpg)
Create a ResourceValueFrameModelingVisitor to model the effect of
instructions on the state of the resource.
|
boolean |
ignoreExceptionEdge(Edge edge,
Resource resource,
org.apache.bcel.generic.ConstantPoolGen cpg)
Determine whether the analysis should ignore given exception edge.
|
boolean |
ignoreImplicitExceptions(Resource resource)
Determine whether the analysis should ignore exception edges on which
only implicit exceptions are propagated.
|
boolean |
isParamInstance(Resource resource,
int slot)
Return if the given parameter slot contains the resource instance upon
entry to the method.
|
boolean |
isResourceClose(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
Resource resource,
ResourceValueFrame frame)
Determine if the given instruction is the site where a resource is
closed.
|
Resource |
isResourceCreation(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg)
Determine if the given instruction is the site where a resource is
created.
|
boolean |
mightCloseResource(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg)
Determine if the given instruction is the site where a resource is
closed.
|
Resource isResourceCreation(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) throws DataflowAnalysisException
basicBlock
- basic block containing the instructionhandle
- the instructioncpg
- the ConstantPoolGen for the methodDataflowAnalysisException
boolean isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Resource resource, ResourceValueFrame frame) throws DataflowAnalysisException
basicBlock
- basic block containing the instructionhandle
- the instructioncpg
- the ConstantPoolGen for the methodresource
- the resource, as returned by isResourceCreation()frame
- the ResourceValueFrame representing the stack prior to
executing the instructionDataflowAnalysisException
boolean mightCloseResource(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) throws DataflowAnalysisException
basicBlock
- basic block containing the instructionhandle
- the instructioncpg
- the ConstantPoolGen for the methodDataflowAnalysisException
ResourceValueFrameModelingVisitor createVisitor(Resource resource, org.apache.bcel.generic.ConstantPoolGen cpg)
resource
- the resource we are trackingcpg
- the ConstantPoolGen of the methodboolean ignoreImplicitExceptions(Resource resource)
resource
- the resource being trackedboolean ignoreExceptionEdge(Edge edge, Resource resource, org.apache.bcel.generic.ConstantPoolGen cpg)
edge
- the exception edgeresource
- the resourcecpg
- the ConstantPoolGenboolean isParamInstance(Resource resource, int slot)
resource
- the resourceslot
- the local variable slotFindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.