Uses of Class
edu.umd.cs.findbugs.ba.bcp.MatchResult
Packages that use MatchResult
-
Uses of MatchResult in edu.umd.cs.findbugs.ba.bcp
Methods in edu.umd.cs.findbugs.ba.bcp that return MatchResultModifier 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 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.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) private MatchResult
PatternMatcher.State.matchLocation
(Location location) PatternMatcher.State.matchNextInBasicBlock()
Match current pattern element with next instruction in basic block.Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type MatchResultModifier and TypeMethodDescriptionPatternMatcher.State.advanceToSuccessor
(Edge edge, MatchResult matchResult) Return a new State for continuing the overall pattern match in a successor basic block.