@ParametersAreNonnullByDefault @AnalysisContextContained
Interface | Description |
---|---|
Variable |
A Variable is either a LocalVariable or a FieldVariable.
|
Class | Description |
---|---|
Binding |
A Binding binds a name to a Variable.
|
BindingSet |
A set of Bindings, which are definitions of variables occuring in a
ByteCodePattern.
|
ByteCodePattern |
A ByteCodePattern is a pattern matching a sequence of bytecode instructions.
|
ByteCodePatternMatch | |
FieldAccess |
Base class for Load and Store PatternElements.
|
FieldVariable | |
IfNull | |
Invoke |
A PatternElement to match a method invocation.
|
Load |
A PatternElement representing a load from a field.
|
LocalVariable | |
LongOrDoubleLocalVariable | |
MatchAny |
A "meta" PatternElement that matches any of a list of other child
PatternElements.
|
MatchResult |
The result of matching a single PatternElement against a single instruction.
|
Monitorenter |
A PatternElement for matching a MONITORENTER instruction.
|
New |
A PatternElement which matches NEW instructions and binds the result to a
variable.
|
OneVariableInstruction |
Abstract PatternElement subclass for matching single instructions which have
a single Variable.
|
Opcode |
PatternElement to match instructions with a particular opcode.
|
PatternElement |
A PatternElement is an element of a ByteCodePattern.
|
PatternElementMatch |
PatternElementMatch represents matching a PatternElement against a single
instruction.
|
PatternMatcher |
Match a ByteCodePattern against the code of a method, represented by a CFG.
|
SingleInstruction |
An abstract PatternElement subclass for pattern elements which must match
exactly one instruction and accept any kind of branch.
|
Store |
A PatternElement representing a store to a field.
|
Wild |
A wildcard PatternElement, which matches any kind of instruction
indiscriminately.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.