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

Interface ExtendedTypes

All Known Implementing Classes:
BottomType, DoubleExtraType, ExceptionObjectType, FindRefComparison, LongExtraType, NullType, StandardTypeMerger, TopType
public interface ExtendedTypes
Extended type codes used by StackAndLocalTypes and StackAndLocalTypeAnalysis for typing locals and stack values used in Java bytecode.
Author:
David Hovemeyer
See Also:

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final byte
    T_AVAIL_TYPE
    A Type code that is available for "user-defined" types.
    static final byte
    T_BOTTOM
    Special type code for the "Bottom" type in the lattice.
    static final byte
    T_DOUBLE_EXTRA
    Special type that represents the value store in local n+1 when a double value is stored in local n.
    static final byte
    T_EXCEPTION
    Special type code for "Exception" object type, which is an instance of the ExceptionObjectType class.
    static final byte
    T_LONG_EXTRA
    Special type that represents the value store in local n+1 when a long value is stored in local n.
    static final byte
    T_NULL
    Special type code for the "Null" type.
    static final byte
    T_TOP
    Special type code for the "Top" type in the lattice.

  • Field Details

    • T_TOP

      static final byte T_TOP
      Special type code for the "Top" type in the lattice.
      See Also:

    • T_LONG_EXTRA

      static final byte T_LONG_EXTRA
      Special type that represents the value store in local n+1 when a long value is stored in local n.
      See Also:

    • T_DOUBLE_EXTRA

      static final byte T_DOUBLE_EXTRA
      Special type that represents the value store in local n+1 when a double value is stored in local n.
      See Also:

    • T_BOTTOM

      static final byte T_BOTTOM
      Special type code for the "Bottom" type in the lattice.
      See Also:

    • T_NULL

      static final byte T_NULL
      Special type code for the "Null" type. This is a type which is higher in the lattice than any object type, but lower than the overall Top type. It represents the type of the null value, which may logically be merged with any object type without loss of information.
      See Also:

    • T_EXCEPTION

      static final byte T_EXCEPTION
      Special type code for "Exception" object type, which is an instance of the ExceptionObjectType class. These instances maintain an ExceptionSet to keep track of possible exceptions that are feasible, and whether those exceptions are explicit or implicit.
      See Also:

    • T_AVAIL_TYPE

      static final byte T_AVAIL_TYPE
      A Type code that is available for "user-defined" types. Any type code equal or greated than this one is guaranteed to be distinct from both standard and extended types.
      See Also: