Packages

object PropertyKey

Factory and registry for PropertyKey objects.

Source
PropertyKey.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PropertyKey
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  6. def create[E <: Entity, P <: Property](name: String, fallbackProperty: P): PropertyKey[P]
  7. def create[E <: Entity, P <: Property](name: String): PropertyKey[P]
  8. def create[E <: Entity, P <: Property](name: String, fallbackPropertyComputation: FallbackPropertyComputation[E, P]): PropertyKey[P]

    Creates a new PropertyKey object that is to be shared by all regular properties that belong to the same category.

    Creates a new PropertyKey object that is to be shared by all regular properties that belong to the same category.

    name

    The unique name associated with the property. To ensure uniqueness it is recommended to prepend (parts of) the package name of property. Properties defined by OPAL start with "opalj."

    fallbackPropertyComputation

    A function that returns the property that will be associated with those entities for which the property is not explicitly computed. This is generally the bottom value of the lattice. However, if an analysis was scheduled, but a property was not computed, a special (alternative) value can be used. This is in particular relevant for properties which depend on the reachable code.

    Note

    This method is not thread-safe - the setup of the property store (e.g., using the org.opalj.br.fpcf.FPCFAnalysesManager or an AnalysisScenario has to be done by the driver thread and therefore no synchronization is needed.)

  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  11. def fallbackProperty[P <: Property](ps: PropertyStore, fr: FallbackReason, e: Entity, pk: PropertyKey[P]): P

    Note

    This method is intended to be called by the framework.

  12. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  13. final def hasFallback(propertyKind: PropertyKind): Boolean
  14. final def hasFallbackBasedOnPKId(pkId: Int): Boolean
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. def key(id: Int): SomePropertyKey
  18. final def name(eOptionP: SomeEOptionP): String
  19. final def name(pKind: PropertyKind): String
  20. def name(id: Int): String

    Returns the unique name of the kind of properties associated with the given key id.

  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  24. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  25. def toString(): String
    Definition Classes
    AnyRef → Any
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  28. 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 AnyRef

Inherited from Any

Ungrouped