Uses of Class
edu.umd.cs.findbugs.ba.bcp.BindingSet
Packages that use BindingSet
-
Uses of BindingSet in edu.umd.cs.findbugs.ba.bcp
Methods in edu.umd.cs.findbugs.ba.bcp that return BindingSetModifier and TypeMethodDescriptionprotected static BindingSet
PatternElement.addOrCheckDefinition
(String varName, 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.ByteCodePatternMatch.getBindingSet()
MatchResult.getBindingSet()
Get the BindingSet.Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type BindingSetModifier and TypeMethodDescriptionprotected MatchResult
OneVariableInstruction.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.protected static BindingSet
PatternElement.addOrCheckDefinition
(String varName, 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.protected MatchResult
FieldAccess.checkConsistent
(Variable field, Variable value, BindingSet bindingSet) Check that the Variables determined for the field and the value loaded/stored are consistent with previous variable definitions.static Variable
PatternElement.lookup
(String varName, BindingSet bindingSet) Look up a variable definition in given BindingSet.IfNull.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Invoke.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Load.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) MatchAny.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Monitorenter.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) New.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Opcode.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.Store.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Wild.match
(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet) Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type BindingSetModifierConstructorDescriptionBindingSet
(Binding binding, BindingSet parent) Constructor; creates a new BindingSet as an extension of an existing one.ByteCodePatternMatch
(BindingSet bindingSet, PatternElementMatch lastElementMatch) MatchResult
(PatternElement patternElement, BindingSet bindingSet) Constructor.