Package edu.umd.cs.findbugs.ba.type

@ParametersAreNonnullByDefault @AnalysisContextContained package edu.umd.cs.findbugs.ba.type
  • Class
    Description
    BottomType
    Special "bottom" type.
    DoubleExtraType
    Special type used to represent the "extra" part of a double value.
    ExceptionObjectType
    Special ReferenceType representing the type of a caught exception.
    ExceptionSet
    Class for keeping track of exceptions that can be thrown by an instruction.
    ExceptionSetFactory
     
    ExtendedTypes
    Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode.
    FieldStoreType
    Field property storing the types of values stored in a field.
    FieldStoreTypeDatabase
     
    LongExtraType
    Special type used to represent the "extra" part of a long value.
    NullType
    Special type representing the null value.
    StandardTypeMerger
    A TypeMerger which applies standard Java semantics when merging Types.
    ThrownException
    An exception thrown from an instruction.
    TopType
    Special "top" type.
    TypeAnalysis
    A forward dataflow analysis to determine the types of all values in the Java stack frame at all points in a Java method.
    TypeDataflow
     
    TypeDataflow.LocationAndFactPair
     
    TypeFrame
    A specialization of Frame for determining the types of values in the Java stack frame (locals and operand stack).
    TypeFrameModelingVisitor
    Visitor to model the effects of bytecode instructions on the types of the values (local and operand stack) in Java stack frames.
    TypeMerger
    Interface for object which merges types for TypeAnalysis.