Packages

final class ArrayType extends ReferenceType

Represents an array type.

Comparing ArrayTypes

To facilitate comparisons of (array) types, each array type is represented at any given time, by exactly one instance of ArrayType.

General Information

From the JVM specification

An array type consists of a component type with a single dimension (whose length is not given by the type). The component type of an array type may itself be an array type. If, starting from any array type, one considers its component type, and then (if that is also an array type) the component type of that type, and so on, eventually one must reach a component type that is not an array type; this is called the element type of the array type. The element type of an array type is necessarily either a primitive type, or a class type, or an interface type.

Source
Type.scala
Linear Supertypes
ReferenceType, FieldType, Type, Ordered[Type], Comparable[Type], UIDValue, UID, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ArrayType
  2. ReferenceType
  3. FieldType
  4. Type
  5. Ordered
  6. Comparable
  7. UIDValue
  8. UID
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def <(other: Type): Boolean
    Definition Classes
    Type → Ordered
  4. def <=(other: Type): Boolean
    Definition Classes
    Type → Ordered
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. def >(other: Type): Boolean
    Definition Classes
    Type → Ordered
  7. def >=(other: Type): Boolean
    Definition Classes
    Type → Ordered
  8. def adapt[T](targetType: Type)(implicit typeConversionFactory: TypeConversionFactory[T]): T

    Returns the sequence of instructions that adapts values of this type to values of the target type.

    Returns the sequence of instructions that adapts values of this type to values of the target type.

    This method supports the following kind of adaptations:

    • boxing
    • unboxing
    Definition Classes
    ArrayTypeFieldType
  9. def asArrayType: ArrayType
    Definition Classes
    ArrayTypeType
  10. def asBaseType: BaseType
    Definition Classes
    Type
    Annotations
    @throws( "if this type is not a base type" )
  11. def asBooleanType: BooleanType
    Definition Classes
    Type
    Annotations
    @throws( "if this is not a boolean type" )
  12. final def asFieldType: ArrayType.this.type
    Definition Classes
    FieldTypeType
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def asIntLikeType: IntLikeType
    Definition Classes
    Type
    Annotations
    @throws( "if this is not an int like type" )
  15. def asNumericType: NumericType
    Definition Classes
    Type
    Annotations
    @throws( "if this is not a numeric type" )
  16. def asObjectType: ObjectType
    Definition Classes
    Type
    Annotations
    @throws( ... )
  17. final def asReferenceType: ReferenceType
    Definition Classes
    ReferenceTypeType
  18. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  19. def compare(that: Type): Int

    Compares this type with the given type.

    Compares this type with the given type.

    Comparison of types is implemented by comparing the associated ids. I.e., the result of the comparison of two types is not stable across multiple runs of OPAL.

    Definition Classes
    Type → Ordered
  20. def compareTo(that: Type): Int
    Definition Classes
    Ordered → Comparable
  21. val componentType: FieldType
  22. final def computationalType: ComputationalType

    The computational type of values of this type.

    The computational type of values of this type.

    Definition Classes
    ReferenceTypeType
  23. def dimensions: Int

    The number of dimensions of this array.

    The number of dimensions of this array. E.g. "Object[]" has one dimension and "Object[][]" has two dimensions.

  24. def drop(dimensions: Int): FieldType

    Returns the component type of this array type after dropping the given number of dimensions.

    Returns the component type of this array type after dropping the given number of dimensions. E.g., if dimensions is 0 this is returned; if it is 1, then this array type's component type is returned. If the value is larger than 1, then the componentType has to be an array type and drop(dimensions-1) will be called on that type.

    dimensions

    The number of dimensions to drop. This values has to be equal or smaller than the number of dimensions of this array.

  25. def elementType: FieldType

    Returns this array type's element type.

    Returns this array type's element type. E.g., the element type of an array of arrays of arrays of int is int.

  26. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. final def equals(that: UID): Boolean
    Definition Classes
    UIDValue
  28. final def equals(other: Any): Boolean

    Two objects with a unique id are considered equal if they have the same unique id; all other properties will be ignored!

    Two objects with a unique id are considered equal if they have the same unique id; all other properties will be ignored!

    Definition Classes
    UIDValue → AnyRef → Any
  29. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  30. final def hashCode(): Int

    The unique id.

    The unique id.

    Definition Classes
    UIDValue → AnyRef → Any
  31. val id: Int

    Each reference type is associated with a unique id.

    Each reference type is associated with a unique id. Object types get ids >= 0 and array types get ids < 0.

    Definition Classes
    ArrayTypeReferenceTypeTypeUID
  32. def isArrayType: Boolean
    Definition Classes
    ArrayTypeType
  33. def isBaseType: Boolean

    Returns true if this type is a base type (also called primitive type).

    Returns true if this type is a base type (also called primitive type).

    Definition Classes
    Type
  34. def isBooleanType: Boolean

    Returns true if this type is the primitive type boolean.

    Returns true if this type is the primitive type boolean.

    Definition Classes
    Type
  35. def isByteType: Boolean

    Returns true if this type is the primitive type byte.

    Returns true if this type is the primitive type byte.

    Definition Classes
    Type
  36. def isCharType: Boolean

    Returns true if this type is the primitive type char (Range: [0..65535]).

    Returns true if this type is the primitive type char (Range: [0..65535]).

    Definition Classes
    Type
  37. def isDoubleType: Boolean

    Returns true if this type is the primitive type double.

    Returns true if this type is the primitive type double.

    Definition Classes
    Type
  38. final def isFieldType: Boolean

    Returns true if this type can be used by fields.

    Returns true if this type can be used by fields. Returns true unless this type represents void.

    Definition Classes
    FieldTypeType
  39. def isFloatType: Boolean

    Returns true if this type is the primitive type float.

    Returns true if this type is the primitive type float.

    Definition Classes
    Type
  40. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  41. def isIntLikeType: Boolean
    Definition Classes
    Type
  42. def isIntegerType: Boolean

    Returns true if this type is the primitive type int.

    Returns true if this type is the primitive type int.

    Definition Classes
    Type
  43. def isLongType: Boolean

    Returns true if this type is the primitive type long.

    Returns true if this type is the primitive type long.

    Definition Classes
    Type
  44. def isNumericType: Boolean
    Definition Classes
    Type
  45. def isObjectType: Boolean
    Definition Classes
    Type
  46. final def isReferenceType: Boolean

    Returns true if this type is a reference type; that is, an array type or an object type (class/interface type).

    Returns true if this type is a reference type; that is, an array type or an object type (class/interface type).

    Definition Classes
    ReferenceTypeType
    Note

    In general, we can distinguish the following three categories of types:

    • base types,
    • reference types,
    • the type void.
  47. def isShortType: Boolean

    Returns true if this type is the primitive type short.

    Returns true if this type is the primitive type short.

    Definition Classes
    Type
  48. def isVoidType: Boolean

    Returns true if this type represents void; false otherwise.

    Returns true if this type represents void; false otherwise.

    Definition Classes
    Type
  49. def mostPreciseObjectType: ObjectType

    Returns the most precise object type that represents this reference type.

    Returns the most precise object type that represents this reference type. In case of an ArrayType, the ObjectType of java.lang.Object is returned; other the current ObjectType.

    Definition Classes
    ArrayTypeReferenceType
  50. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  51. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  52. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  53. final def operandSize: Int

    The number of operand stack slots/registers required to store a single value of this type.

    The number of operand stack slots/registers required to store a single value of this type. In case of VoidType 0 is returned.

    Definition Classes
    ReferenceTypeType
  54. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  55. def toBinaryJavaName: String

    Returns the binary name of this type as used by the Java runtime.

    Returns the binary name of this type as used by the Java runtime. Basically returns the same name as produced by Class.getName.

    Definition Classes
    ArrayTypeType
  56. def toJVMTypeName: String

    Returns the representation of this type as used by the JVM in, for example, method descriptors or signatures.

    Returns the representation of this type as used by the JVM in, for example, method descriptors or signatures.

    Definition Classes
    ArrayTypeType
  57. def toJava: String

    A String representation of this type as it would be used in Java source code.

    A String representation of this type as it would be used in Java source code.

    Definition Classes
    ArrayTypeType
  58. def toJavaClass: Class[_]

    Returns the Java class object representing this type.

    Returns the Java class object representing this type.

    This is generally only useful in very special cases and – to be meaningful at all – it is necessary that the class path used for running the static analysis also contains the classes that are analyzed. This is (often) only the case for the JDK.

    However, one example where this is useful is the creation of a real object of a specific type and to use that object when a method is called on that object. This avoids the reimplementation of the respective logic as part of the analysis. For example, if you want to get the String that is created by a specific StringBuffer it is possible to implement the API of StringBuffer as part of your analysis or (probably more efficient) to just create an instance of a StringBuffer object and to redirect every call to the real object. In this case only some general logic is required to redirect calls and to convert the values between the representation used by the analysis and the representation required by the called method.

    Definition Classes
    ArrayTypeType
  59. def toString(): String
    Definition Classes
    ArrayType → AnyRef → Any
  60. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  61. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  62. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from ReferenceType

Inherited from FieldType

Inherited from Type

Inherited from Ordered[Type]

Inherited from Comparable[Type]

Inherited from UIDValue

Inherited from UID

Inherited from AnyRef

Inherited from Any

Ungrouped