FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.bcp
Class Monitorenter

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.bcp.PatternElement
      extended by edu.umd.cs.findbugs.ba.bcp.SingleInstruction
          extended by edu.umd.cs.findbugs.ba.bcp.OneVariableInstruction
              extended by edu.umd.cs.findbugs.ba.bcp.Monitorenter

public class Monitorenter
extends OneVariableInstruction

A PatternElement for matching a MONITORENTER instruction.

Author:
DavidHovemeyer

Constructor Summary
Monitorenter(java.lang.String varName)
          Constructor.
 
Method Summary
 MatchResult 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.
 
Methods inherited from class edu.umd.cs.findbugs.ba.bcp.OneVariableInstruction
addOrCheckDefinition
 
Methods inherited from class edu.umd.cs.findbugs.ba.bcp.SingleInstruction
acceptBranch, maxOccur, minOccur
 
Methods inherited from class edu.umd.cs.findbugs.ba.bcp.PatternElement
addOrCheckDefinition, allowTrailingEdges, dominatedBy, getDominatedBy, getLabel, getNext, label, lookup, setAllowTrailingEdges, setIndex, setNext, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Monitorenter

public Monitorenter(java.lang.String varName)
Constructor.

Parameters:
varName - name of the variable representing the reference to the object being locked
Method Detail

match

public MatchResult match(org.apache.bcel.generic.InstructionHandle handle,
                         org.apache.bcel.generic.ConstantPoolGen cpg,
                         ValueNumberFrame before,
                         ValueNumberFrame after,
                         BindingSet bindingSet)
                  throws DataflowAnalysisException
Description copied from class: PatternElement
Return whether or not this element matches the given instruction with the given Bindings in effect.

Specified by:
match in class PatternElement
Parameters:
handle - the instruction
cpg - the ConstantPoolGen from the method
before - the ValueNumberFrame representing values in the Java stack frame just before the execution of the instruction
after - the ValueNumberFrame representing values in the Java stack frame just after the execution of the instruction
bindingSet - the set of Bindings
Returns:
if the match is successful, returns a MatchResult with the PatternElement and BindingSet; if the match is not successful, returns null
Throws:
DataflowAnalysisException

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.