edu.umd.cs.findbugs.ba
Class AnyLockCountAnalysis

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<Fact>
      extended by edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<LockCount>
          extended by edu.umd.cs.findbugs.ba.LockCountAnalysis
              extended by edu.umd.cs.findbugs.ba.AnyLockCountAnalysis
All Implemented Interfaces:
DataflowAnalysis<LockCount>

public class AnyLockCountAnalysis
extends LockCountAnalysis


Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ba.LockCountAnalysis
methodGen, vnaDataflow
 
Constructor Summary
AnyLockCountAnalysis(org.apache.bcel.generic.MethodGen methodGen, ValueNumberDataflow vnaDataflow, DepthFirstSearch dfs)
           
 
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.
 
Methods inherited from class edu.umd.cs.findbugs.ba.LockCountAnalysis
copy, createFact, initResultFact, isFactValid, isThisValue, makeFactTop, meetInto, same, transferInstruction
 
Methods inherited from class edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis
getBlockOrder, getDepthFirstSearch, isForwards
 
Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis
endTransfer, factToString, getFactAfterLocation, getFactAtLocation, getResultFact, getStartFact, resultFactIterator, startTransfer, transfer
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AnyLockCountAnalysis

public AnyLockCountAnalysis(org.apache.bcel.generic.MethodGen methodGen,
                            ValueNumberDataflow vnaDataflow,
                            DepthFirstSearch dfs)
Method Detail

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 instruction
frame - the ValueNumberFrame representing the values in the Java stack frame at the point in the control-flow graph before the instruction
Throws:
DataflowAnalysisException