Packages

sealed abstract class DoubleType extends NumericType

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DoubleType
  2. NumericType
  3. BaseType
  4. TypeSignature
  5. ReturnTypeSignature
  6. SignatureElement
  7. FieldType
  8. Type
  9. Ordered
  10. Comparable
  11. UIDValue
  12. UID
  13. AnyRef
  14. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. final type JType = Double
    Definition Classes
    DoubleType → BaseType

Value Members

  1. def <(other: Type): Boolean
    Definition Classes
    Type → Ordered
  2. def <=(other: Type): Boolean
    Definition Classes
    Type → Ordered
  3. def >(other: Type): Boolean
    Definition Classes
    Type → Ordered
  4. def >=(other: Type): Boolean
    Definition Classes
    Type → Ordered
  5. final val WrapperType: ObjectType
    Definition Classes
    DoubleType → BaseType
  6. final def accept[T](v: SignatureVisitor[T]): T
    Definition Classes
    DoubleType → SignatureElement
  7. final 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
    BaseType → FieldType
  8. def asArrayType: ArrayType
    Definition Classes
    Type
    Annotations
    @throws("if this type is not an array type")
  9. final def asBaseType: DoubleType.this.type
    Definition Classes
    BaseType → Type
  10. def asBooleanType: BooleanType
    Definition Classes
    Type
    Annotations
    @throws("if this is not a boolean type")
  11. final def asFieldType: DoubleType.this.type
    Definition Classes
    FieldType → Type
  12. def asIntLikeType: IntLikeType
    Definition Classes
    Type
    Annotations
    @throws("if this is not an int like type")
  13. def asNumericType: DoubleType.this.type
    Definition Classes
    NumericType → Type
  14. def asObjectType: ObjectType
    Definition Classes
    Type
    Annotations
    @throws("if this type is not an object type")
  15. def asReferenceType: ReferenceType
    Definition Classes
    Type
    Annotations
    @throws("if this type is not a reference type")
  16. final val atype: Int(7)

    The atype value of the base type.

    The atype value of the base type. The atype value uniquely identifies a base type and is used primarily by the [instruction.NEWARRAY] instruction.

    Definition Classes
    DoubleType → BaseType
  17. def boxValue[T](implicit typeConversionFactory: TypeConversionFactory[T]): T
    Definition Classes
    DoubleType → BaseType
  18. 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
  19. def compareTo(that: Type): Int
    Definition Classes
    Ordered → Comparable
  20. final def computationalType: ComputationalType

    The computational type of values of this type.

    The computational type of values of this type.

    Definition Classes
    DoubleType → Type
  21. def convertTo[T](targetType: NumericType)(implicit typeConversionFactory: TypeConversionFactory[T]): T

    Returns the instruction sequence that can convert a value of the current type to targetType.

    Returns the instruction sequence that can convert a value of the current type to targetType.

    For primitive values the appropriate instructions that perform the necessary widening/narrowing are returned. If this type is a primitive type and the target type is a wrapper type, then the object of the corresponding wrapper type is created and returned.

    Definition Classes
    DoubleType → NumericType
    Note

    The functionality implemented here, basically implements the logic for handling boxing and unboxing operations.

  22. final def equals(that: UID): Boolean
    Definition Classes
    UIDValue
  23. 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
  24. final def hashCode(): Int

    The unique id.

    The unique id.

    Definition Classes
    UIDValue → AnyRef → Any
  25. final val id: Int(-2147483641)

    The unique id of this type.

    The unique id of this type. Types are associated with globally unique ids to make it easy to define a global order. The id Int.MinValue is used for Void; Int.MinValue + 1 is used for CTIntType.

    Definition Classes
    DoubleType → Type → UID
  26. def isArrayType: Boolean
    Definition Classes
    Type
  27. final 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
    BaseType → Type
  28. 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
  29. 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
  30. 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
  31. final 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
    DoubleType → Type
  32. 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
    FieldType → Type
  33. 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
  34. def isIntLikeType: Boolean
    Definition Classes
    Type
  35. 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
  36. 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
  37. def isNumericType: Boolean
    Definition Classes
    NumericType → Type
  38. def isObjectType: Boolean
    Definition Classes
    Type
  39. 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
    Type
    Note

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

    • base types,
    • reference types,
    • the type void.
  40. 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
  41. def isVoidType: Boolean

    Returns true if this type represents void; false otherwise.

    Returns true if this type represents void; false otherwise.

    Definition Classes
    Type
  42. def isWiderThan(targetType: NumericType): Boolean

    Determines if the range of values captured by this type is a strict superset of the range of values captured by values of type targetType.

    Determines if the range of values captured by this type is a strict superset of the range of values captured by values of type targetType. Here, strict superset means that – except of rounding issues – the value is conceptually representable by this type. For example, a conversion from a long value to a double value may loose some precision related to the least significant bits, but the value is still representable.

    In general, the result of isWiderThan is comparable to the result of determing if a conversion of a value of this type to the given type is an explicit/implicit widening conversion.

    Definition Classes
    DoubleType → NumericType
    Example:

    1. assert(IntegerType.isWiderThan(IntegerType) == false)
assert(IntegerType.isWiderThan(LongType) == false)
assert(IntegerType.isWiderThan(ByteType) == true)
assert(LongType.isWiderThan(FloatType) == false)
assert(ByteType.isWiderThan(CharType) == false)
assert(LongType.isWiderThan(ShortType) == true)
  43. 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
    DoubleType → Type
  44. 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
    DoubleType → Type
  45. final def toJVMSignature: String

    Converts this signature into its JVM representation.

    Converts this signature into its JVM representation. (See the JVM 5 or later specification for further details.)

    Definition Classes
    BaseType → SignatureElement
  46. 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
    DoubleType → Type
  47. 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
    DoubleType → Type
  48. 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
    DoubleType → Type
  49. def toString(): String
    Definition Classes
    DoubleType → AnyRef → Any