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:

TypeFrame, TypeAnalysis

Field Summary

Fields

Modifier and Type	Field and 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