@ParametersAreNonnullByDefault @AnalysisContextContained

Package edu.umd.cs.findbugs.ba.bcp

Interface Summary

Interface	Description
Variable	A Variable is either a LocalVariable or a FieldVariable.

Class Summary

Class	Description
Binding	A Binding binds a name to a Variable.
BindingSet	A set of Bindings, which are definitions of variables occurring 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.