edu.umd.cs.findbugs.ba
Class OtherLockCountAnalysis
java.lang.Object
edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<LockCount>
edu.umd.cs.findbugs.ba.LockCountAnalysis
edu.umd.cs.findbugs.ba.OtherLockCountAnalysis
- All Implemented Interfaces:
- DataflowAnalysis<LockCount>
public class OtherLockCountAnalysis
- extends LockCountAnalysis
A dataflow analysis to count the number of times an object other than "this"
has been locked.
- Author:
- David Hovemeyer
- See Also:
LockCountAnalysis
,
ValueNumberAnalysis
Method Summary |
int |
getDelta(org.apache.bcel.generic.Instruction ins,
ValueNumberFrame frame)
Get the lock count delta resulting from the execution of the given instruction. |
void |
initEntryFact(LockCount result)
Initialize the "entry" fact for the graph. |
static void |
main(java.lang.String[] argv)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OtherLockCountAnalysis
public OtherLockCountAnalysis(org.apache.bcel.generic.MethodGen methodGen,
ValueNumberDataflow vnaDataflow,
DepthFirstSearch dfs)
initEntryFact
public void initEntryFact(LockCount result)
- Description copied from interface:
DataflowAnalysis
- Initialize the "entry" fact for the graph.
getDelta
public int getDelta(org.apache.bcel.generic.Instruction ins,
ValueNumberFrame frame)
throws DataflowAnalysisException
- Description copied from class:
LockCountAnalysis
- Get the lock count delta resulting from the execution of the given instruction.
- Specified by:
getDelta
in class LockCountAnalysis
- Parameters:
ins
- the instructionframe
- the ValueNumberFrame representing the values in the Java stack
frame at the point in the control-flow graph before the instruction
- Throws:
DataflowAnalysisException
main
public static void main(java.lang.String[] argv)