Trait

org.opalj.ai.domain.l1

ConcretePrimitiveValuesConversions

Related Doc: package l1

Permalink

trait ConcretePrimitiveValuesConversions extends TypeLevelPrimitiveValuesConversions

Default implementation of a domain that performs basic conversions between primitive values.

Self Type
ConcretePrimitiveValuesConversions with PrimitiveValuesFactory with Configuration with ConcreteLongValues with ConcreteIntegerValues
Source
ConcretePrimitiveValuesConversions.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConcretePrimitiveValuesConversions
  2. TypeLevelPrimitiveValuesConversions
  3. PrimitiveValuesConversionsDomain
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def d2f(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  7. def d2i(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  8. def d2l(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  11. def f2d(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  12. def f2i(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  13. def f2l(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  17. def i2d(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  18. def i2f(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  19. def i2l(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink
  20. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  21. def l2d(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink

    Conversion of the given long value to a double value.

    Conversion of the given long value to a double value.

    returns

    The result of calling DoubleValue(pc).

    Definition Classes
    ConcretePrimitiveValuesConversionsTypeLevelPrimitiveValuesConversionsPrimitiveValuesConversionsDomain
  22. def l2f(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink

    Conversion of the given long value to a float value.

    Conversion of the given long value to a float value.

    returns

    The result of calling FloatValue(pc).

    Definition Classes
    ConcretePrimitiveValuesConversionsTypeLevelPrimitiveValuesConversionsPrimitiveValuesConversionsDomain
  23. def l2i(pc: PC, value: (ConcretePrimitiveValuesConversions.this)#DomainValue): (ConcretePrimitiveValuesConversions.this)#DomainValue

    Permalink

    Conversion of the given long value to an integer value.

    Conversion of the given long value to an integer value.

    returns

    The result of calling IntegerValue(pc).

    Definition Classes
    ConcretePrimitiveValuesConversionsTypeLevelPrimitiveValuesConversionsPrimitiveValuesConversionsDomain
  24. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  25. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  26. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  27. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  28. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  29. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped