|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ResourceTracker<Resource>
A ResourceTracker is used with ResourceValueAnalysis to determine where in a method a certain kind of resource is created, and to model the effect of instructions on the state of that resource.
ResourceValueAnalysis
Method Summary | |
---|---|
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. |
Method Detail |
---|
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 method
DataflowAnalysisException
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 instruction
DataflowAnalysisException
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 methodresource
- the resource, as returned by isResourceCreation()frame
- the ResourceValueFrame representing the stack prior to executing
the instruction
DataflowAnalysisException
ResourceValueFrameModelingVisitor createVisitor(Resource resource, org.apache.bcel.generic.ConstantPoolGen cpg)
resource
- the resource we are trackingcpg
- the ConstantPoolGen of the method
boolean ignoreImplicitExceptions(Resource resource)
resource
- the resource being tracked
boolean ignoreExceptionEdge(Edge edge, Resource resource, org.apache.bcel.generic.ConstantPoolGen cpg)
edge
- the exception edgeresource
- the resourcecpg
- the ConstantPoolGen
boolean isParamInstance(Resource resource, int slot)
resource
- the resourceslot
- the local variable slot
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |