edu.umd.cs.findbugs.ba
Class AnyLockCountAnalysis

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.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