Packages

o

org.opalj.tac

LazyDetachedTACAIKey

object LazyDetachedTACAIKey extends TACAIKey[(Method) ⇒ Domain with RecordDefUse]

Key to get the 3-address based code of a method computed using the configured domain/data-flow analysis. This key performs the underlying data-flow analysis on demand using the configured data-flow analyses; the results of the data-flow analyses are NOT cached/shared. Hence, this key should only be used if the result of the underlying analysis is no longer required after generating the TAC.

Source
LazyDetachedTACAIKey.scala
Example:
  1. To get the index use the org.opalj.br.analyses.Project's get method and pass in this object.

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LazyDetachedTACAIKey
  2. TACAIKey
  3. ProjectInformationKey
  4. AnyRef
  5. 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. 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( ... ) @native() @IntrinsicCandidate()
  6. def compute(project: SomeProject): (Method) ⇒ AITACode[TACMethodParameter, ValueInformation]

    Returns an factory which computes and caches the 3-address code of a method when required.

    Returns an factory which computes and caches the 3-address code of a method when required.

    All methods belonging to a project are converted using the same domainFactory. Hence, the domainFactory needs to be set (using setProjectInformationKeyInitializationData) before compute is called/this key is passed to a specific project.

    Definition Classes
    LazyDetachedTACAIKeyProjectInformationKey
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  15. def requirements(project: SomeProject): Seq[ProjectInformationKey[Nothing, Nothing]]

    TACAI code has no special prerequisites.

    TACAI code has no special prerequisites.

    Definition Classes
    LazyDetachedTACAIKeyProjectInformationKey
  16. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  17. def toString(): String
    Definition Classes
    AnyRef → Any
  18. final val uniqueId: Int

    The unique id of this key.

    The unique id of this key. The key is used to enable efficient access and is automatically assigned by OPAL and will not change after that.

    Definition Classes
    ProjectInformationKey
  19. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  21. 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 TACAIKey[(Method) ⇒ Domain with RecordDefUse]

Inherited from AnyRef

Inherited from Any

Ungrouped