Packages

final case class ConstantDouble(value: Double) extends ConstantFieldValue[Double] with IsDoubleValue with Product with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConstantDouble
  2. Serializable
  3. Product
  4. Equals
  5. IsDoubleValue
  6. IsPrimitiveValue
  7. ConstantValueInformationProvider
  8. ConstantFieldValue
  9. KnownTypedValue
  10. KnownValue
  11. ValueInformation
  12. ConstantValue
  13. BootstrapArgument
  14. Attribute
  15. AnyRef
  16. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new ConstantDouble(value: Double)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def asConstantBoolean: Boolean
  5. def asConstantByte: Byte
  6. def asConstantChar: Char
  7. def asConstantDouble: Double
  8. def asConstantFloat: Float
  9. def asConstantInteger: Integer
  10. def asConstantLong: Long
  11. def asConstantShort: Short
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. final def asPrimitiveValue: IsPrimitiveValue[DoubleType]
    Definition Classes
    IsPrimitiveValueValueInformation
  14. def asReferenceValue: IsReferenceValue
    Definition Classes
    ValueInformation
  15. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  16. final def computationalType: ComputationalType

    The computational type of the value if this object represents a legal value.

    The computational type of the value if this object represents a legal value.

    The precise computational type is, e.g., needed to calculate the effect of generic stack manipulation instructions (e.g., DUP_... and SWAP) on the stack as well as to calculate the jump targets of RET instructions and to determine which values are actually copied by, e.g., the dup_XX instructions.

    Definition Classes
    IsPrimitiveValueValueInformation
    Exceptions thrown

    IllegalStateException if this value is illegal or void.

    Note

    The computational type has to be precise/correct.

  17. def constantValue: Option[Double]

    The constant value that this variable takes - if it take a single constant value! I.e., if the variable may take multiple different values at runtime constantValue will return None.

    The constant value that this variable takes - if it take a single constant value! I.e., if the variable may take multiple different values at runtime constantValue will return None.

    Definition Classes
    ConstantDoubleConstantValueInformationProvider
  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(other: Any): Boolean
    Definition Classes
    ConstantDouble → Equals → AnyRef → Any
  20. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  21. final def hasCategory2ComputationalType: Boolean

    Returns true if and only if the value has the computational type 2; false in all other cases (including the case where this value is illegal!).

    Returns true if and only if the value has the computational type 2; false in all other cases (including the case where this value is illegal!).

    Definition Classes
    IsDoubleValueValueInformation
  22. final def isArrayValue: Answer

    Returns Yes if the value is _not null_ and the least upper type bound is an ArrayType; the value is Unknown if the least upper type bound is ArrayType but the value may be null; in all other cases No is returned; in particular if the value is known to be null.

    Returns Yes if the value is _not null_ and the least upper type bound is an ArrayType; the value is Unknown if the least upper type bound is ArrayType but the value may be null; in all other cases No is returned; in particular if the value is known to be null. No is also returned if the value's type is Object or Seriablizable or Cloneable.

    Definition Classes
    IsPrimitiveValueValueInformation
  23. final def isIllegalValue: Boolean

    Returns true iff this value is not a legal value according to the JVM specification.

    Returns true iff this value is not a legal value according to the JVM specification. Such values cannot be used to perform any computations and will generally not occur in static analyses unless the analysis or the bytecode is buggy.

    Definition Classes
    KnownValueValueInformation
    Note

    An IsIllegalValue can always be distinguished from a void value.

  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. final def isPrimitiveValue: Boolean

    Returns true in case of a value with primitive type.

    Returns true in case of a value with primitive type.

    Definition Classes
    IsPrimitiveValueValueInformation
    Exceptions thrown

    IllegalStateException if this value is illegal.

  26. final def isReferenceValue: Boolean

    Returns true if the value has a reference type.

    Returns true if the value has a reference type.

    Definition Classes
    IsPrimitiveValueValueInformation
    Exceptions thrown

    IllegalStateException if this value is illegal.

  27. final def isVoid: Boolean

    Returns true if this value represents void.

    Returns true if this value represents void.

    Definition Classes
    KnownTypedValueValueInformation
  28. def kindId: Int

    Returns the unique ID that identifies this kind of attribute (Signature, LineNumberTable, ...)

    Returns the unique ID that identifies this kind of attribute (Signature, LineNumberTable, ...)

    This id can then be used in a switch statement to efficiently identify the attribute.

    (attribute.id : @scala.annotation.switch) match {
         case Signature.Id => ...
    }

    Associating Unique Id

    The unique ids are manually associated with the attributes. The attributes use the following IDs:

    • (-1 Unknown Attribute)
    • 1-5 The ConstantValue Attribute
    • 6 The Code Attribute
    • 7 The StackMapTable Attribute
    • 8 The Exceptions Attribute
    • 9 The InnerClasses Attribute
    • 10 The EnclosingMethod Attribute
    • 11 The Synthetic Attribute
    • 12-16 The Signature Attribute
    • 17 The SourceFile Attribute
    • 18 The SourceDebugExtension Attribute
    • 19 The LineNumberTable Attribute
    • 20 The LocalVariableTable Attribute
    • 21 The LocalVariableTypeTable Attribute
    • 22 The Deprecated Attribute
    • 23 The RuntimeVisibleAnnotations Attribute
    • 24 The RuntimeInvisibleAnnotations Attribute
    • 25 The RuntimeVisibleParameterAnnotations Attribute
    • 26 The RuntimeInvisibleParameterAnnotations Attribute
    • 27 The RuntimeVisibleTypeAnnotations Attribute
    • 28 The RuntimeInvisibleTypeAnnotations Attribute
    • 29-41 The AnnotationDefault Attribute
    • 42 The BootstrapMethods Attribute
    • 43 The MethodParameters Attribute
    • 44 The Module Attribute (Java 9)
    • 45 The ModuleMainClass Attribute (Java 9)
    • 46 The ModulePackages Attribute (Java 9)
    • 47 The NestHost Attribute (Java 11)
    • 48 The NestMembers Attribute (Java 11)
    • 49 The Record Attribute (Java 16)
    • 1001 OPAL's VirtualTypeFlag Attribute
    • 1002 OPAL's SynthesizedClassFiles Attribute
    • 1003 OPAL's TACode Attribute (the 3-Address Code)
    Definition Classes
    ConstantDoubleAttribute
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  32. final def primitiveType: DoubleType
    Definition Classes
    IsDoubleValueIsPrimitiveValue
  33. def productElementNames: Iterator[String]
    Definition Classes
    Product
  34. def runtimeValueType: DoubleType

    The (runtime) type of the concrete value.

    The (runtime) type of the concrete value.

    Definition Classes
    ConstantDoubleConstantValue
  35. def similar(other: Attribute, config: SimilarityTestConfiguration): Boolean

    Returns true if this attribute and the given one are guaranteed to be indistinguishable at runtime.

    Returns true if this attribute and the given one are guaranteed to be indistinguishable at runtime.

    Definition Classes
    ConstantFieldValueAttribute
    Note

    If this class is implemented as a proper case class, this method can often be implemented by forwarding to the default equals method.

  36. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  37. def toBoolean: Boolean
    Definition Classes
    ConstantValue
  38. def toByte: Byte
    Definition Classes
    ConstantValue
  39. def toCanonicalForm: ValueInformation

    Returns a ValueInformation object that just captures the basic information as defined by this value framework.

    Returns a ValueInformation object that just captures the basic information as defined by this value framework. The returned value information object will be independent of the underlying representation from which it was derived.

    Definition Classes
    IsDoubleValueValueInformation
  40. def toChar: Char
    Definition Classes
    ConstantValue
  41. def toDouble: Double
    Definition Classes
    ConstantDoubleConstantValue
  42. def toFloat: Float
    Definition Classes
    ConstantValue
  43. def toInt: Int
    Definition Classes
    ConstantValue
  44. def toJava: String
    Definition Classes
    ConstantDoubleBootstrapArgument
  45. def toLong: Long
    Definition Classes
    ConstantValue
  46. def toReferenceType: ReferenceType
    Definition Classes
    ConstantValue
  47. def toShort: Short
    Definition Classes
    ConstantValue
  48. def toUTF8: String
    Definition Classes
    ConstantValue
  49. val value: Double

    The concrete value.

    The concrete value.

    Definition Classes
    ConstantDoubleConstantValue
  50. def valueToString: String

    A string representation of the concrete value; used for debugging purposes.

    A string representation of the concrete value; used for debugging purposes.

    Definition Classes
    ConstantDoubleConstantValue
  51. final def verificationTypeInfo: VerificationTypeInfo

    The type of this value as used by the org.opalj.br.StackMapTable attribute.

    The type of this value as used by the org.opalj.br.StackMapTable attribute.

    Definition Classes
    IsDoubleValueValueInformation
    Exceptions thrown

    IllegalStateException if this value represents void or a return address value.

  52. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  53. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  54. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

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

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from IsDoubleValue

Inherited from ConstantFieldValue[Double]

Inherited from KnownTypedValue

Inherited from KnownValue

Inherited from ValueInformation

Inherited from ConstantValue[Double]

Inherited from BootstrapArgument

Inherited from Attribute

Inherited from AnyRef

Inherited from Any

Ungrouped