Uses of Class
edu.umd.cs.findbugs.ba.DataflowAnalysisException

Packages that use DataflowAnalysisException
edu.umd.cs.findbugs Main package for the FindBugs application - contains the engine class (FindBugs), the object model classes for bug instances (BugInstance, BugAnnotation), and other miscellany. 
edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses. 
edu.umd.cs.findbugs.ba.bcp   
edu.umd.cs.findbugs.ba.ca   
edu.umd.cs.findbugs.ba.constant   
edu.umd.cs.findbugs.ba.heap   
edu.umd.cs.findbugs.ba.npe   
edu.umd.cs.findbugs.ba.obl   
edu.umd.cs.findbugs.ba.type   
edu.umd.cs.findbugs.ba.type2 A whizzy set of classes for representing Java types. 
edu.umd.cs.findbugs.ba.vna   
edu.umd.cs.findbugs.detect   
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs
 

Methods in edu.umd.cs.findbugs that throw DataflowAnalysisException
 void ResourceTrackingDetector.analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method, ResourceTrackerType resourceTracker, ResourceCollection<Resource> resourceCollection)
           
abstract  ResourceTrackerType ResourceTrackingDetector.getResourceTracker(ClassContext classContext, org.apache.bcel.classfile.Method method)
           
abstract  void ByteCodePatternDetector.reportMatch(ClassContext classContext, org.apache.bcel.classfile.Method method, ByteCodePatternMatch match)
          Called to report an instance of the ByteCodePattern.
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba
 

Subclasses of DataflowAnalysisException in edu.umd.cs.findbugs.ba
 class MissingClassException
          DataflowAnalysisException variant to report a class lookup failure that caused dataflow analysis to abort.
 

Methods in edu.umd.cs.findbugs.ba that throw DataflowAnalysisException
 void AbstractFrameModelingVisitor.analyzeInstruction(org.apache.bcel.generic.Instruction ins)
          Analyze the given Instruction.
abstract  Dataflow<Fact,AnalysisType> DataflowTestDriver.createDataflow(ClassContext classContext, org.apache.bcel.classfile.Method method)
          Downcall method to create the dataflow driver object and execute the analysis.
abstract  ResourceTrackerType ResourceValueAnalysisTestDriver.createResourceTracker(ClassContext classContext, org.apache.bcel.classfile.Method method)
           
 void AbstractDataflowAnalysis.endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, java.lang.Object result)
          Subclasses may override this.
 void Dataflow.execute()
          Run the algorithm.
 void LockChecker.execute()
          Execute dataflow analyses (only if required).
 void PruneUnconditionalExceptionThrowerEdges.execute()
           
 void DataflowTestDriver.execute(ClassContext classContext, org.apache.bcel.classfile.Method method)
          Execute the analysis on a single method of a class.
 void DataflowTestDriver.execute(java.lang.String filename)
          Execute the analysis on a single class.
 void ResourceValueAnalysisTestDriver.execute(java.lang.String classFile, java.lang.String methodName, int offset)
           
 ValueType Frame.getArgument(org.apache.bcel.generic.InvokeInstruction ins, org.apache.bcel.generic.ConstantPoolGen cpg, int i, int numArguments)
          Get the ith argument passed to given method invocation.
 java.util.BitSet Frame.getArgumentSet(org.apache.bcel.generic.InvokeInstruction invokeInstruction, org.apache.bcel.generic.ConstantPoolGen cpg, DataflowValueChooser<ValueType> chooser)
          Get set of arguments passed to a method invocation which match given predicate.
 Dataflow<BlockType,BlockTypeAnalysis> ClassContext.getBlockTypeDataflow(org.apache.bcel.classfile.Method method)
          Get BlockType dataflow for given method.
 CallListDataflow ClassContext.getCallListDataflow(org.apache.bcel.classfile.Method method)
          Get CallListDataflow for method.
 ConstantDataflow ClassContext.getConstantDataflow(org.apache.bcel.classfile.Method method)
          Get ConstantDataflow for method.
 Fact AbstractDataflow.getFactAfterLocation(Location location)
          Get dataflow fact after given Location.
 Fact AbstractDataflowAnalysis.getFactAfterLocation(Location location)
          Get the dataflow fact representing the point just after given Location.
 java.util.BitSet LiveLocalStoreDataflow.getFactAfterLocation(Location location)
           
 Fact AbstractDataflow.getFactAtLocation(Location location)
          Get dataflow fact at given Location.
 Fact AbstractDataflowAnalysis.getFactAtLocation(Location location)
          Get the dataflow fact representing the point just before given Location.
 LockSet LockChecker.getFactAtLocation(Location location)
          Get LockSet at given Location.
 LockSet LockDataflow.getFactAtLocation(Location location)
           
 java.util.BitSet LiveLocalStoreDataflow.getFactAtLocation(Location location)
           
 ValueType Frame.getInstance(org.apache.bcel.generic.Instruction ins, org.apache.bcel.generic.ConstantPoolGen cpg)
          Get the value corresponding to the object instance used in the given instruction.
 int Frame.getInstanceSlot(org.apache.bcel.generic.Instruction ins, org.apache.bcel.generic.ConstantPoolGen cpg)
          Get the slot the object instance referred to by given instruction is located in.
 int Frame.getInstanceStackLocation(org.apache.bcel.generic.Instruction ins, org.apache.bcel.generic.ConstantPoolGen cpg)
          Get the stack location (counting down from top of stack, starting at 0) containing the object instance referred to by given instruction.
 IsNullValueDataflow ClassContext.getIsNullValueDataflow(org.apache.bcel.classfile.Method method)
          Get an IsNullValueDataflow for given method.
 LiveLocalStoreDataflow ClassContext.getLiveLocalStoreDataflow(org.apache.bcel.classfile.Method method)
          Get LiveLocalStoreAnalysis dataflow for given method.
 LoadDataflow ClassContext.getLoadDataflow(org.apache.bcel.classfile.Method method)
          Get load dataflow.
 LockChecker ClassContext.getLockChecker(org.apache.bcel.classfile.Method method)
          Get LockChecker for method.
 LockDataflow ClassContext.getLockDataflow(org.apache.bcel.classfile.Method method)
          Get dataflow for LockAnalysis for given method.
 DominatorsAnalysis ClassContext.getNonExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
          Get DominatorsAnalysis for given method, where exception edges are ignored.
 PostDominatorsAnalysis ClassContext.getNonExceptionPostDominatorsAnalysis(org.apache.bcel.classfile.Method method)
          Get PostDominatorsAnalysis for given method, where exception edges are ignored.
 PostDominatorsAnalysis ClassContext.getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
          Get DominatorsAnalysis for given method, where implicit exception edges are ignored.
 int Frame.getNumArguments(org.apache.bcel.generic.InvokeInstruction ins, org.apache.bcel.generic.ConstantPoolGen cpg)
          Get the number of arguments passed to given method invocation.
 int Frame.getNumArgumentsIncludingObjectInstance(org.apache.bcel.generic.InvokeInstruction ins, org.apache.bcel.generic.ConstantPoolGen cpg)
          Get the number of arguments passed to given method invocation, including the object instance if the call is to an instance method.
 ValueType Frame.getOperand(org.apache.bcel.generic.StackConsumer ins, org.apache.bcel.generic.ConstantPoolGen cpg, int i)
          Get the ith operand used by given instruction.
 ReturnPathDataflow ClassContext.getReturnPathDataflow(org.apache.bcel.classfile.Method method)
          Get ReturnPathDataflow for method.
 ValueType Frame.getStackValue(int loc)
          Get a value on the operand stack.
 StoreDataflow ClassContext.getStoreDataflow(org.apache.bcel.classfile.Method method)
          Get store dataflow.
 void Frame.getTopStackWords(ValueType[] valueList)
          Get the values on the top of the Java operand stack.
 ValueType Frame.getTopValue()
          Get the value on the top of the Java operand stack.
 TypeDataflow ClassContext.getTypeDataflow(org.apache.bcel.classfile.Method method)
          Get a TypeDataflow for given method.
 UnconditionalDerefDataflow ClassContext.getUnconditionalDerefDataflow(org.apache.bcel.classfile.Method method)
          Get the UnconditionalDerefDataflow for a method.
 ValueNumberDataflow ClassContext.getValueNumberDataflow(org.apache.bcel.classfile.Method method)
          Get a ValueNumberDataflow for given method.
 void LiveLocalStoreAnalysis.initEntryFact(java.util.BitSet result)
           
 void BlockTypeAnalysis.initEntryFact(BlockType result)
           
 void DataflowAnalysis.initEntryFact(Fact result)
          Initialize the "entry" fact for the graph.
 boolean ResourceTracker.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 ResourceTracker.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.
 void LiveLocalStoreAnalysis.meetInto(java.util.BitSet fact, Edge edge, java.util.BitSet result)
           
 void AbstractDominatorsAnalysis.meetInto(java.util.BitSet fact, Edge edge, java.util.BitSet result)
           
 void BlockTypeAnalysis.meetInto(BlockType fact, Edge edge, BlockType result)
           
 void DataflowAnalysis.meetInto(Fact fact, Edge edge, Fact result)
          Meet a dataflow fact associated with an incoming edge into another fact.
 void LockAnalysis.meetInto(LockSet fact, Edge edge, LockSet result)
           
 void ResourceValueAnalysis.meetInto(ResourceValueFrame fact, Edge edge, ResourceValueFrame result)
           
 void ReturnPathAnalysis.meetInto(ReturnPath fact, Edge edge, ReturnPath result)
           
protected  void FrameDataflowAnalysis.mergeInto(FrameType other, FrameType result)
          Merge one frame into another.
protected  void ResourceValueAnalysis.mergeInto(ResourceValueFrame frame, ResourceValueFrame result)
           
protected abstract  void FrameDataflowAnalysis.mergeValues(FrameType otherFrame, FrameType resultFrame, int slot)
          Merge the values contained in a given slot of two Frames.
protected  void ResourceValueAnalysis.mergeValues(ResourceValueFrame otherFrame, ResourceValueFrame resultFrame, int slot)
           
 ValueType Frame.popValue()
          Pop a value off of the Java operand stack.
static java.util.Set<JavaClassAndMethod> Hierarchy.resolveMethodCallTargets(org.apache.bcel.generic.InvokeInstruction invokeInstruction, TypeFrame typeFrame, org.apache.bcel.generic.ConstantPoolGen cpg)
          Resolve possible method call targets.
 void AbstractDataflowAnalysis.startTransfer(BasicBlock basicBlock, java.lang.Object fact)
          Subclasses may override this.
 void AbstractDominatorsAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, java.util.BitSet start, java.util.BitSet result)
           
 void BlockTypeAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, BlockType start, BlockType result)
           
 void AbstractDataflowAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, Fact start, Fact result)
           
 void DataflowAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, Fact start, Fact result)
          Transfer function for the analysis.
abstract  void ResourceValueFrameModelingVisitor.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)
          Subclasses must override this to model the effect of the given instruction on the current frame.
 void LiveLocalStoreAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, java.util.BitSet fact)
           
abstract  void AbstractDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, Fact fact)
          Transfer function for a single instruction.
 void LockAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, LockSet fact)
           
 void ResourceValueAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ResourceValueFrame fact)
           
 void ReturnPathAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ReturnPath fact)
           
 void StackDepthAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StackDepth fact)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.bcp
 

Methods in edu.umd.cs.findbugs.ba.bcp that throw DataflowAnalysisException
 PatternMatcher PatternMatcher.execute()
          Search for examples of the ByteCodePattern.
 MatchResult Load.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult IfNull.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Invoke.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult MatchAny.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult New.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Monitorenter.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Store.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
abstract  MatchResult PatternElement.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
          Return whether or not this element matches the given instruction with the given Bindings in effect.
 MatchResult Opcode.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
 MatchResult Wild.match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
           
protected static Variable FieldAccess.snarfFieldValue(org.apache.bcel.generic.FieldInstruction fieldIns, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame frame)
          Get a Variable representing the stack value which will either be stored into or loaded from a field.
 

Constructors in edu.umd.cs.findbugs.ba.bcp that throw DataflowAnalysisException
PatternMatcher(ByteCodePattern pattern, ClassContext classContext, org.apache.bcel.classfile.Method method)
          Constructor.
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.ca
 

Methods in edu.umd.cs.findbugs.ba.ca that throw DataflowAnalysisException
 CallList CallListDataflow.getFactAfterLocation(Location location)
           
 CallList CallListDataflow.getFactAtLocation(Location location)
           
 void CallListAnalysis.meetInto(CallList start, Edge edge, CallList result)
           
 void CallListAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, CallList fact)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.constant
 

Methods in edu.umd.cs.findbugs.ba.constant that throw DataflowAnalysisException
 ConstantFrame ConstantDataflow.getFactAfterLocation(Location location)
           
 ConstantFrame ConstantDataflow.getFactAtLocation(Location location)
           
 void ConstantAnalysis.meetInto(ConstantFrame fact, Edge edge, ConstantFrame result)
           
protected  void ConstantAnalysis.mergeValues(ConstantFrame otherFrame, ConstantFrame resultFrame, int slot)
           
 void ConstantAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ConstantFrame frame)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.heap
 

Methods in edu.umd.cs.findbugs.ba.heap that throw DataflowAnalysisException
 void FieldSetAnalysis.initEntryFact(FieldSet result)
           
 void FieldSetAnalysis.meetInto(FieldSet fact, Edge edge, FieldSet result)
           
 void FieldSetAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, FieldSet fact)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.npe
 

Methods in edu.umd.cs.findbugs.ba.npe that throw DataflowAnalysisException
 void IsNullValueAnalysis.endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, java.lang.Object result_)
           
 void NullDerefAndRedundantComparisonFinder.execute()
           
 IsNullValueFrame IsNullValueDataflow.getFactAtLocation(Location loc)
           
 void UnconditionalDerefAnalysis.initEntryFact(UnconditionalDerefSet result)
           
 void WillBeDereferencedAnalysis.initEntryFact(WillBeDereferencedInfo result)
           
 void IsNullValueAnalysis.meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result)
           
 void UnconditionalDerefAnalysis.meetInto(UnconditionalDerefSet fact, Edge edge, UnconditionalDerefSet result)
           
 void WillBeDereferencedAnalysis.meetInto(WillBeDereferencedInfo fact, Edge edge, WillBeDereferencedInfo result)
           
protected  void IsNullValueAnalysis.mergeValues(IsNullValueFrame otherFrame, IsNullValueFrame resultFrame, int slot)
           
 void IsNullValueAnalysis.startTransfer(BasicBlock basicBlock, java.lang.Object start_)
           
 void IsNullValueAnalysis.transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame start, IsNullValueFrame result)
           
 void IsNullValueAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, IsNullValueFrame fact)
           
 void UnconditionalDerefAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, UnconditionalDerefSet fact)
           
 void WillBeDereferencedAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, WillBeDereferencedInfo fact)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.obl
 

Methods in edu.umd.cs.findbugs.ba.obl that throw DataflowAnalysisException
 void ObligationAnalysis.endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, java.lang.Object result_)
           
 void ObligationAnalysis.initEntryFact(StateSet fact)
           
 void ObligationAnalysis.meetInto(StateSet fact, Edge edge, StateSet result)
           
 void ObligationAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StateSet fact)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.type
 

Methods in edu.umd.cs.findbugs.ba.type that throw DataflowAnalysisException
 void TypeFrameModelingVisitor.analyzeInstruction(org.apache.bcel.generic.Instruction ins)
           
 void TypeAnalysis.endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, java.lang.Object result)
           
 TypeFrame TypeDataflow.getFactAfterLocation(Location loc)
           
 TypeFrame TypeDataflow.getFactAtLocation(Location loc)
           
 void TypeAnalysis.meetInto(TypeFrame fact, Edge edge, TypeFrame result)
           
protected  org.apache.bcel.generic.Type StandardTypeMerger.mergeReferenceTypes(org.apache.bcel.generic.ReferenceType aRef, org.apache.bcel.generic.ReferenceType bRef)
          Default implementation of merging reference types.
 org.apache.bcel.generic.Type TypeMerger.mergeTypes(org.apache.bcel.generic.Type a, org.apache.bcel.generic.Type b)
          Merge type Types.
 org.apache.bcel.generic.Type StandardTypeMerger.mergeTypes(org.apache.bcel.generic.Type a, org.apache.bcel.generic.Type b)
           
protected  void TypeAnalysis.mergeValues(TypeFrame otherFrame, TypeFrame resultFrame, int slot)
           
 void TypeAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.type2
 

Methods in edu.umd.cs.findbugs.ba.type2 that throw DataflowAnalysisException
 void BetterTypeAnalysis.initEntryFact(BetterTypeFrame result)
           
 void BetterTypeAnalysis.meetInto(BetterTypeFrame fact, Edge edge, BetterTypeFrame result)
           
protected  void BetterTypeAnalysis.mergeValues(BetterTypeFrame otherFrame, BetterTypeFrame resultFrame, int slot)
           
 void BetterTypeAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, BetterTypeFrame fact)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.ba.vna
 

Methods in edu.umd.cs.findbugs.ba.vna that throw DataflowAnalysisException
 void ValueNumberAnalysis.meetInto(ValueNumberFrame fact, Edge edge, ValueNumberFrame result)
           
protected  void ValueNumberAnalysis.mergeInto(ValueNumberFrame frame, ValueNumberFrame result)
           
protected  void ValueNumberAnalysis.mergeValues(ValueNumberFrame otherFrame, ValueNumberFrame resultFrame, int slot)
           
 void ValueNumberAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ValueNumberFrame fact)
           
 

Uses of DataflowAnalysisException in edu.umd.cs.findbugs.detect
 

Methods in edu.umd.cs.findbugs.detect that throw DataflowAnalysisException
 void FindOpenStream.analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method, StreamResourceTracker resourceTracker, ResourceCollection<Stream> resourceCollection)
           
 edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker FindUnreleasedLock.getResourceTracker(ClassContext classContext, org.apache.bcel.classfile.Method method)
           
 void LazyInit.reportMatch(ClassContext classContext, org.apache.bcel.classfile.Method method, ByteCodePatternMatch match)
           
 void StreamFrameModelingVisitor.transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)
           
 void FindTwoLockWait.visitLocation(ClassContext classContext, Location location, org.apache.bcel.generic.MethodGen methodGen, LockDataflow dataflow)