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.
Constructor Detail
OneVariableInstruction
public OneVariableInstruction(String varName)(Code)
Constructor.
Parameters: varName - the name of the Variable used in this instruction
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 Parameters: bindingSet - the existing set of bindings a MatchResult containing the updated BindingSet (if the variable is consistent with theprevious bindings), or null if the new variable is inconsistent withthe previous bindings
Methods inherited from edu.umd.cs.findbugs.ba.bcp.SingleInstruction