SimpleAIKey

Key to get the result of the abstract interpretation of a method using a configured domain factory.

Example:

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

Linear Supertypes

AIKey, ProjectInformationKey[(Method) ⇒ AIResult { val domain: org.opalj.ai.Domain with org.opalj.ai.domain.RecordDefUse }, Nothing], 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) ⇒ AIResult { val domain: org.opalj.ai.Domain with org.opalj.ai.domain.RecordDefUse }

Returns an object which performs and caches the result of the abstract interpretation of a method when required.
Returns an object which performs and caches the result of the abstract interpretation of a method when required.
All methods belonging to a project are analyzed 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
SimpleAIKey → ProjectInformationKey
var domainFactory: (SomeProject, 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, Nothing]]

The SimpleAIKey has no special prerequisites.
The SimpleAIKey has no special prerequisites.

Attributes
protected
Definition Classes
SimpleAIKey → 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 common

object SimpleAIKey extends AIKey

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) ⇒ AIResult { val domain: org.opalj.ai.Domain with org.opalj.ai.domain.RecordDefUse }

var domainFactory: (SomeProject, 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, 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 AIKey

Inherited from ProjectInformationKey[(Method) ⇒ AIResult { val domain: org.opalj.ai.Domain with org.opalj.ai.domain.RecordDefUse }, Nothing]

Inherited from AnyRef

Inherited from Any

Ungrouped