Interface ExtendedTypes

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static byte T_AVAIL_TYPE
      A Type code that is available for "user-defined" types.
      static byte T_BOTTOM
      Special type code for the "Bottom" type in the lattice.
      static 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 byte T_EXCEPTION
      Special type code for "Exception" object type, which is an instance of the ExceptionObjectType class.
      static 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 byte T_NULL
      Special type code for the "Null" type.
      static byte T_TOP
      Special type code for the "Top" type in the lattice.
    • Field Detail

      • T_TOP

        static final byte T_TOP
        Special type code for the "Top" type in the lattice.
        See Also:
        Constant Field Values
      • 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:
        Constant Field Values
      • 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:
        Constant Field Values
      • T_BOTTOM

        static final byte T_BOTTOM
        Special type code for the "Bottom" type in the lattice.
        See Also:
        Constant Field Values
      • 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:
        Constant Field Values
      • 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:
        Constant Field Values
      • 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:
        Constant Field Values