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