Packages

o

org.opalj.tac

LazyTACUsingAIKey

object LazyTACUsingAIKey extends TACAIKey[Nothing]

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

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

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LazyTACUsingAIKey
  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 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.

    Definition Classes
    LazyTACUsingAIKeyProjectInformationKey
  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[(Method) ⇒ AIResult { val domain: org.opalj.ai.Domain with org.opalj.ai.domain.RecordDefUse }, _ <: AnyRef]]

    The TACAI code is created using the results of the abstract interpretation of the underlying methods using the SimpleAIKey.

    The TACAI code is created using the results of the abstract interpretation of the underlying methods using the SimpleAIKey.

    Definition Classes
    LazyTACUsingAIKeyProjectInformationKey
  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[Nothing]

Inherited from AnyRef

Inherited from Any

Ungrouped