Package 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
Abstract PatternElement subclass for matching single instructions which have
a single Variable.
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected 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
-
Field Details
-
varName
-
-
Constructor Details
-
OneVariableInstruction
Constructor.- Parameters:
varName
- the name of the Variable used in this instruction
-
-
Method Details
-
addOrCheckDefinition
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 consistencybindingSet
- 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
-