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

@ParametersAreNonnullByDefault @AnalysisContextContained package edu.umd.cs.findbugs.ba.bcp
  • 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.
    Variable
    A Variable is either a LocalVariable or a FieldVariable.
    Wild
    A wildcard PatternElement, which matches any kind of instruction indiscriminately.