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

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

Direct Known Subclasses:

IfNull, Monitorenter, New

public abstract class OneVariableInstruction
extends SingleInstruction

Abstract PatternElement subclass for matching single instructions which have a single Variable.

See Also:

PatternElement

Constructor Summary

OneVariableInstruction(java.lang.String varName)
Constructor.

Method Summary

protected MatchResult

addOrCheckDefinition(Variable variable, BindingSet bindingSet) Add a variable definition to the given BindingSet, or if there is an existing definition, make sure it is consistent with the new definition.

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, match, setAllowTrailingEdges, setIndex, setNext, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

OneVariableInstruction

public OneVariableInstruction(java.lang.String varName)

Constructor.

Parameters:

varName - the name of the Variable used in this instruction

Method Detail

addOrCheckDefinition

protected MatchResult addOrCheckDefinition(Variable variable,
                                           BindingSet bindingSet)

Add a variable definition to the given BindingSet, or if there is an existing definition, make sure it is consistent with the new definition.

Parameters:

variable - the Variable which should be added or checked for consistency

bindingSet - the existing set of bindings

Returns:

a MatchResult containing the updated BindingSet (if the variable is consistent with the previous bindings), or null if the new variable is inconsistent with the previous bindings