| 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.
|
| MatchResult |
The result of matching a single PatternElement against a single instruction.
|
| OneVariableInstruction |
Abstract PatternElement subclass for matching single instructions which have
a single Variable.
|
| 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.
|
| Variable |
A Variable is either a LocalVariable or a FieldVariable.
|