edu.umd.cs.findbugs.ba.type
Interface SpecialTypeSignatures


public interface SpecialTypeSignatures

Fake type signatures for "special" non-JVM types. These can be used with TypeRepository.typeFromSignature() to get special types. They all begin with "@", which is not a valid character in Java type signatures as far as I know. However, no code should depend on the actual string values associated with these constants, except that they are distinct from any valid JVM type signature.

Author:
David Hovemeyer
See Also:
TypeRepository

Field Summary
static java.lang.String BOTTOM_TYPE_SIGNATURE
          Signature of special "Bottom" type, which is the zero element of the type meet operation.
static java.lang.String DOUBLE_EXTRA_TYPE_SIGNATURE
          Signature of the "extra" slot occupied by a double value.
static java.lang.String LONG_EXTRA_TYPE_SIGNATURE
          Signature of the "extra" slot occupied by a long value.
static java.lang.String NULL_TYPE_SIGNATURE
          Signature of the special type of the null value, which is an identity element for all reference types.
static java.lang.String RETURN_ADDRESS_TYPE_SIGNATURE
          Signature of special return address type.
static java.lang.String SPECIAL_TYPE_PREFIX
          Prefix used to identify special types.
static java.lang.String TOP_TYPE_SIGNATURE
          Signature of special "Top" type, which is the identity element of the type meet operation.
 

Field Detail

SPECIAL_TYPE_PREFIX

static final java.lang.String SPECIAL_TYPE_PREFIX
Prefix used to identify special types.

See Also:
Constant Field Values

TOP_TYPE_SIGNATURE

static final java.lang.String TOP_TYPE_SIGNATURE
Signature of special "Top" type, which is the identity element of the type meet operation.

See Also:
Constant Field Values

BOTTOM_TYPE_SIGNATURE

static final java.lang.String BOTTOM_TYPE_SIGNATURE
Signature of special "Bottom" type, which is the zero element of the type meet operation.

See Also:
Constant Field Values

NULL_TYPE_SIGNATURE

static final java.lang.String NULL_TYPE_SIGNATURE
Signature of the special type of the null value, which is an identity element for all reference types.

See Also:
Constant Field Values

LONG_EXTRA_TYPE_SIGNATURE

static final java.lang.String LONG_EXTRA_TYPE_SIGNATURE
Signature of the "extra" slot occupied by a long value. BCEL treats longs as taking up two stack slots, and the JVM treats longs as taking up two local slots.

See Also:
Constant Field Values

DOUBLE_EXTRA_TYPE_SIGNATURE

static final java.lang.String DOUBLE_EXTRA_TYPE_SIGNATURE
Signature of the "extra" slot occupied by a double value. BCEL treats doubles as taking up two stack slots, and the JVM treats doubles as taking up two local slots.

See Also:
Constant Field Values

RETURN_ADDRESS_TYPE_SIGNATURE

static final java.lang.String RETURN_ADDRESS_TYPE_SIGNATURE
Signature of special return address type.

See Also:
Constant Field Values