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 BindingSetPatternElement. 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.BindingSetByteCodePatternMatch. getBindingSet()BindingSetMatchResult. getBindingSet()Get the BindingSet.Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type BindingSet Modifier and Type Method Description protected MatchResultOneVariableInstruction. 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 BindingSetPatternElement. 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 MatchResultFieldAccess. 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 VariablePatternElement. lookup(java.lang.String varName, BindingSet bindingSet)Look up a variable definition in given BindingSet.MatchResultIfNull. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)MatchResultInvoke. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)MatchResultLoad. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)MatchResultMatchAny. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)MatchResultMonitorenter. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)MatchResultNew. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)MatchResultOpcode. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)abstract MatchResultPatternElement. 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.MatchResultStore. match(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ValueNumberFrame before, ValueNumberFrame after, BindingSet bindingSet)MatchResultWild. 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.
-