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