| Access | Constructor and Description |
|---|---|
| pack-priv | |
| protected |
| Modifier and Type | Method and Description |
|---|---|
| public ReferenceType | firstCommonSuperclass(final ReferenceType t)
Deprecated
use getFirstCommonSuperclass(ReferenceType t) which has slightly changed semantics.
This commutative operation returns the first common superclass (narrowest ReferenceType referencing a class, not an
interface).
|
| public ReferenceType | getFirstCommonSuperclass(final ReferenceType t)
This commutative operation returns the first common superclass (narrowest ReferenceType referencing a class, not an interface). |
| private ReferenceType | |
| public boolean | isAssignmentCompatibleWith(final Type t)
Return true iff this is assignment compatible with another type t as defined in the JVM specification; see the AASTORE definition there. |
| public boolean | isCastableTo(final Type t)
Return true iff this type is castable to another type t as defined in the JVM specification. |
| ReferenceType | back to summary |
|---|---|
| pack-priv ReferenceType() Class is non-abstract but not instantiable from the outside | |
| ReferenceType | back to summary |
|---|---|
| protected ReferenceType(final byte t, final String s) | |
| firstCommonSuperclass | back to summary |
|---|---|
| public ReferenceType firstCommonSuperclass(final ReferenceType t) throws ClassNotFoundException
Deprecated use getFirstCommonSuperclass(ReferenceType t) which has slightly changed semantics. This commutative operation returns the first common superclass (narrowest ReferenceType referencing a class, not an interface). If one of the types is a superclass of the other, the former is returned. If "this" is Type.NULL, then t is returned. If t is Type.NULL, then "this" is returned. If "this" equals t ['this.equals(t)'] "this" is returned. If "this" or t is an ArrayType, then Type.OBJECT is returned. If "this" or t is a ReferenceType referencing an interface, then Type.OBJECT is returned. If not all of the two classes' superclasses cannot be found, "null" is returned. See the JVM specification edition 2, "�4.9.2 The Bytecode Verifier".
| |
| getFirstCommonSuperclass | back to summary |
|---|---|
| public ReferenceType getFirstCommonSuperclass(final ReferenceType t) throws ClassNotFoundException This commutative operation returns the first common superclass (narrowest ReferenceType referencing a class, not an interface). If one of the types is a superclass of the other, the former is returned. If "this" is Type.NULL, then t is returned. If t is Type.NULL, then "this" is returned. If "this" equals t ['this.equals(t)'] "this" is returned. If "this" or t is an ArrayType, then Type.OBJECT is returned; unless their dimensions match. Then an ArrayType of the same number of dimensions is returned, with its basic type being the first common super class of the basic types of "this" and t. If "this" or t is a ReferenceType referencing an interface, then Type.OBJECT is returned. If not all of the two classes' superclasses cannot be found, "null" is returned. See the JVM specification edition 2, "�4.9.2 The Bytecode Verifier".
| |
| getFirstCommonSuperclassInternal | back to summary |
|---|---|
| private ReferenceType getFirstCommonSuperclassInternal(final ReferenceType t) throws ClassNotFoundException | |
| isAssignmentCompatibleWith | back to summary |
|---|---|
| public boolean isAssignmentCompatibleWith(final Type t) throws ClassNotFoundException Return true iff this is assignment compatible with another type t as defined in the JVM specification; see the AASTORE definition there.
| |
| isCastableTo | back to summary |
|---|---|
| public boolean isCastableTo(final Type t) throws ClassNotFoundException Return true iff this type is castable to another type t as defined in the JVM specification. The case where this is Type.NULL is not defined (see the CHECKCAST definition in the JVM specification). However, because e.g. CHECKCAST doesn't throw a ClassCastException when casting a null reference to any Object, true is returned in this case.
| |