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