Package | Description |
---|---|
edu.umd.cs.findbugs.ba.bcp |
Modifier and Type | Method and 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 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.
|
MatchResult |
Wild.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
MatchResult |
Store.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 |
Opcode.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 |
Monitorenter.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 |
Load.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 |
IfNull.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.