| edu.umd.cs.findbugs.ba.bcp |
|
| Java Source File Name | Type | Comment |
| Binding.java | Class | A Binding binds a name to a Variable. |
| BindingSet.java | Class | A set of Bindings, which are definitions of variables occuring
in a ByteCodePattern. |
| ByteCodePattern.java | Class | A ByteCodePattern is a pattern matching a sequence of bytecode instructions. |
| ByteCodePatternMatch.java | Class | |
| FieldAccess.java | Class | Base class for Load and Store PatternElements. |
| FieldVariable.java | Class | |
| IfNull.java | Class | |
| Invoke.java | Class | A PatternElement to match a method invocation.
Currently, we don't allow variables in this element (for arguments
and return value). |
| Load.java | Class | A PatternElement representing a load from a field. |
| LocalVariable.java | Class | |
| LongOrDoubleLocalVariable.java | Class | |
| MatchAny.java | Class | A "meta" PatternElement that matches any of a list of other child PatternElements.
An example of how this is useful is that you might want to match invocations of any
of a number of different methods. |
| MatchResult.java | Class | The result of matching a single PatternElement against a single instruction. |
| Monitorenter.java | Class | A PatternElement for matching a MONITORENTER instruction. |
| New.java | Class | A PatternElement which matches NEW instructions and binds the
result to a variable. |
| OneVariableInstruction.java | Class | Abstract PatternElement subclass for matching single instructions which have
a single Variable. |
| Opcode.java | Class | PatternElement to match instructions with a particular opcode. |
| package-info.java | | |
| PatternElement.java | Class | A PatternElement is an element of a ByteCodePattern. |
| PatternElementMatch.java | Class | PatternElementMatch represents matching a PatternElement against
a single instruction. |
| PatternMatcher.java | Class | Match a ByteCodePattern against the code of a method, represented
by a CFG. |
| SingleInstruction.java | Class | An abstract PatternElement subclass for pattern elements which
must match exactly one instruction and accept any kind of branch. |
| Store.java | Class | A PatternElement representing a store to a field. |
| Variable.java | Interface | A Variable is either a LocalVariable or a FieldVariable. |
| Wild.java | Class | A wildcard PatternElement, which matches any kind of instruction
indiscriminately. |