Object

org.opalj.tac

DefaultTACAIKey

Related Doc: package tac

Permalink

object DefaultTACAIKey extends TACAIKey

Key to get the 3-address based code of a method computed using the result of the data-flow analysis performed by SimpleAIKey.

Example:

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

Linear Supertypes
TACAIKey, ProjectInformationKey[(Method) ⇒ TACode[TACMethodParameter, DUVar[(Domain with RecordDefUse)#DomainValue]], Nothing], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DefaultTACAIKey
  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

    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 compute(project: SomeProject): (Method) ⇒ TACode[TACMethodParameter, DUVar[_ <: (Domain with RecordDefUse)#DomainValue]]

    Permalink

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

    Returns an object 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 before compute is called/this key is passed to a specific project. If multiple projects are instead concurrently, external synchronization is necessary (e.g., on the ProjectInformationKey) to ensure that each project is instantiated using the desired domain.

    Attributes
    protected
    Definition Classes
    DefaultTACAIKey → ProjectInformationKey

  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  9. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  10. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  11. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  13. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  14. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  15. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  16. def requirements: Seq[ProjectInformationKey[(Method) ⇒ AIResult { val domain: org.opalj.ai.Domain with org.opalj.ai.domain.RecordDefUse }, _ <: AnyRef]]

    Permalink

    TACAI code has no special prerequisites.

    TACAI code has no special prerequisites.

    Attributes
    protected
    Definition Classes
    DefaultTACAIKey → ProjectInformationKey

  17. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  18. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  19. final val uniqueId: Int

    Permalink
    Definition Classes
    ProjectInformationKey

  20. final def wait(): Unit

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

  21. final def wait(arg0: Long, arg1: Int): Unit

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

  22. final def wait(arg0: Long): Unit

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

Inherited from TACAIKey

Inherited from ProjectInformationKey[(Method) ⇒ TACode[TACMethodParameter, DUVar[(Domain with RecordDefUse)#DomainValue]], Nothing]

Inherited from AnyRef

Inherited from Any

Ungrouped