|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker
static class FindUnreleasedLock.LockResourceTracker
Field Summary | |
---|---|
private RepositoryLookupFailureCallback |
lookupFailureCallback
|
private ValueNumberDataflow |
vnaDataflow
|
Constructor Summary | |
---|---|
FindUnreleasedLock.LockResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback,
ValueNumberDataflow vnaDataflow)
|
Method Summary | |
---|---|
ResourceValueFrameModelingVisitor |
createVisitor(Lock resource,
org.apache.bcel.generic.ConstantPoolGen cpg)
Create a ResourceValueFrameModelingVisitor to model the effect of instructions on the state of the resource. |
boolean |
ignoreImplicitExceptions(Lock resource)
Determine whether the analysis should ignore exception edges on which only implicit exceptions are propagated. |
boolean |
isParamInstance(Lock 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,
Lock resource,
ResourceValueFrame frame)
Determine if the given instruction is the site where a resource is closed. |
Lock |
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. |
private static org.apache.bcel.generic.InvokeInstruction |
toInvokeInstruction(org.apache.bcel.generic.Instruction ins)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private RepositoryLookupFailureCallback lookupFailureCallback
private ValueNumberDataflow vnaDataflow
Constructor Detail |
---|
public FindUnreleasedLock.LockResourceTracker(RepositoryLookupFailureCallback lookupFailureCallback, ValueNumberDataflow vnaDataflow)
Method Detail |
---|
public Lock isResourceCreation(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg) throws DataflowAnalysisException
ResourceTracker
isResourceCreation
in interface ResourceTracker<Lock>
basicBlock
- basic block containing the instructionhandle
- the instructioncpg
- the ConstantPoolGen for the method
DataflowAnalysisException
public boolean isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Lock resource, ResourceValueFrame frame) throws DataflowAnalysisException
ResourceTracker
isResourceClose
in interface ResourceTracker<Lock>
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
public ResourceValueFrameModelingVisitor createVisitor(Lock resource, org.apache.bcel.generic.ConstantPoolGen cpg)
ResourceTracker
createVisitor
in interface ResourceTracker<Lock>
resource
- the resource we are trackingcpg
- the ConstantPoolGen of the method
public boolean ignoreImplicitExceptions(Lock resource)
ResourceTracker
ignoreImplicitExceptions
in interface ResourceTracker<Lock>
resource
- the resource being tracked
public boolean isParamInstance(Lock resource, int slot)
ResourceTracker
isParamInstance
in interface ResourceTracker<Lock>
resource
- the resourceslot
- the local variable slot
private static final org.apache.bcel.generic.InvokeInstruction toInvokeInstruction(org.apache.bcel.generic.Instruction ins)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |