SimpleTACAIKey

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 analysis are NOT shared. Hence, this key should only be used if the result of the underlying analysis is no longer required after generating the TAC.

Example:

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[DUVar[ai.Domain.DomainValue]]], AnyRef, Any

Value Members

final def !=(arg0: Any): Boolean

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

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

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

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compute(project: SomeProject): (Method) ⇒ TACode[DUVar[_ <: ai.Domain.DomainValue]]

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
SimpleTACAIKey → ProjectInformationKey
var domainFactory: (SomeProject, ClassFile, Method) ⇒ Domain with RecordDefUse
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def requirements: Seq[ProjectInformationKey[Nothing]]

TACAI code has no special prerequisites.
TACAI code has no special prerequisites.

Attributes
protected
Definition Classes
SimpleTACAIKey → ProjectInformationKey
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final val uniqueId: Int

Definition Classes
ProjectInformationKey
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package tac

object SimpleTACAIKey extends TACAIKey

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compute(project: SomeProject): (Method) ⇒ TACode[DUVar[_ <: ai.Domain.DomainValue]]

var domainFactory: (SomeProject, ClassFile, Method) ⇒ Domain with RecordDefUse

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def requirements: Seq[ProjectInformationKey[Nothing]]

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

def toString(): String

final val uniqueId: Int

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from TACAIKey

Inherited from ProjectInformationKey[(Method) ⇒ TACode[DUVar[ai.Domain.DomainValue]]]

Inherited from AnyRef

Inherited from Any

Ungrouped