|
Class Summary |
| 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. |