edu.umd.cs.findbugs.ba.type

Interface ExtendedTypes

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
static byteT_AVAIL_TYPE
A Type code that is available for "user-defined" types.
static byteT_BOTTOM
Special type code for the "Bottom" type in the lattice.
static byteT_DOUBLE_EXTRA
Special type that represents the value store in local n+1 when a double value is stored in local n.
static byteT_EXCEPTION
Special type code for "Exception" object type, which is an instance of the ExceptionObjectType class.
static byteT_LONG_EXTRA
Special type that represents the value store in local n+1 when a long value is stored in local n.
static byteT_NULL
Special type code for the "Null" type.
static byteT_TOP
Special type code for the "Top" type in the lattice.

Field Detail

T_AVAIL_TYPE

public 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.

T_BOTTOM

public static final byte T_BOTTOM
Special type code for the "Bottom" type in the lattice.

T_DOUBLE_EXTRA

public 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.

T_EXCEPTION

public 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.

T_LONG_EXTRA

public 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.

T_NULL

public 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.

T_TOP

public static final byte T_TOP
Special type code for the "Top" type in the lattice.
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.