| |
|
| java.lang.Object jode.type.Type jode.type.ReferenceType jode.type.ArrayType
ArrayType | public class ArrayType extends ReferenceType (Code) | | This type represents an array type.
author: Jochen Hoenicke |
createRangeType | public Type createRangeType(ReferenceType bottom)(Code) | | Create the type corresponding to the range from bottomType to this.
Parameters: bottomType - the start point of the range the range type, or tError if not possible. |
getCastHelper | public Type getCastHelper(Type fromType)(Code) | | Checks if we need to cast to a middle type, before we can cast from
fromType to this type.
the middle type, or null if it is not necessary. |
getGeneralizedType | public Type getGeneralizedType(Type type)(Code) | | Returns the common super type of this and type.
Parameters: type - the other type. the common super type. |
getSpecializedType | public Type getSpecializedType(Type type)(Code) | | Returns the common sub type of this and type.
Parameters: type - the other type. the common sub type. |
isClassType | public boolean isClassType()(Code) | | |
isValidType | public boolean isValidType()(Code) | | Checks if this type represents a valid type instead of a list
of minimum types.
|
|
|
|