Package | Description |
---|---|
edu.umd.cs.findbugs.ba.bcp |
Modifier and Type | Method and 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 |
MatchResult.getBindingSet()
Get the BindingSet.
|
BindingSet |
ByteCodePatternMatch.getBindingSet() |
Modifier and Type | Method and 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.
|
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.
|
static Variable |
PatternElement.lookup(java.lang.String varName,
BindingSet bindingSet)
Look up a variable definition in given BindingSet.
|
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) |
Constructor and 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.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.