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 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. |
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.
public static final byte T_BOTTOM
Special type code for the "Bottom" type in the lattice.
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.
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.
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.
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.
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.