Uses of Class
edu.umd.cs.findbugs.ba.bcp.BindingSet
-
Packages that use BindingSet Package Description edu.umd.cs.findbugs.ba.bcp -
-
Uses of BindingSet in edu.umd.cs.findbugs.ba.bcp
Methods in edu.umd.cs.findbugs.ba.bcp that return BindingSet Modifier and Type Method Description protected static BindingSet
PatternElement. addOrCheckDefinition(java.lang.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.BindingSet
ByteCodePatternMatch. getBindingSet()
BindingSet
MatchResult. getBindingSet()
Get the BindingSet.Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type BindingSet Modifier and Type Method Description protected 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(java.lang.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(java.lang.String varName, BindingSet bindingSet)
Look up a variable definition in given BindingSet.MatchResult
IfNull. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
Invoke. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
Load. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
MatchAny. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
Monitorenter. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
New. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
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.MatchResult
Store. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)
MatchResult
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 BindingSet Constructor Description BindingSet(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.
-