AIProject

Abstract Value Members

abstract def ai: AI[D]

Returns the abstract interpreter that should be used for performing the abstract interpretations.
abstract def domain(project: Project[Source], classFile: ClassFile, method: Method): D

Returns the (initial) domain object that will be used to analyze an entry point.
Returns the (initial) domain object that will be used to analyze an entry point.
The analysis of all entry points may happen concurrently unless analyzeInParallel is false.
abstract def entryPoints(project: Project[Source]): Iterable[(ClassFile, Method)]

A project's entry points.
A project's entry points.
In case of a very simple command-line application, the set of entry points may just consist of the application's main method.
If, for example, a desktop application with a GUI is to be analyzed, the entry points are usually the application's main method and all those listeners that react on system-level events (mouse move events, keyboard events etc.)
In case of a framework, the set of entry points typically encompasses all non-private constructors, all non-private static methods and all static initializers. Additionally, listeners for system-level events are also entry points.
returns
All methods that are potential entry points.

Concrete Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from AIProject[Source, D] to any2stringadd[AIProject[Source, D]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (AIProject[Source, D], B)

Implicit information
This member is added by an implicit conversion from AIProject[Source, D] to ArrowAssoc[AIProject[Source, D]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def analyze(project: Project[Source], parameters: Seq[String]): ReportableAnalysisResult

Analyzes the given project by first determining the entry points of the analysis and then starting an independent analysis for each entry point using its own domain.
Analyzes the given project by first determining the entry points of the analysis and then starting an independent analysis for each entry point using its own domain.

Note
This method is intended to be overridden by subtraits that need to get hold on the specified analysis parameters. In this case (in the subtrait) it is recommended to first analyze the parameters and afterwards to call this method using super.analyze(...).
val analyzeInParallel: Boolean

If true (default) all entry points will be analyzed in parallel.
If true (default) all entry points will be analyzed in parallel.
Needs to be overridden by subclasses if the entry points should be analyzed sequentially.

Attributes
protected
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensuring(cond: (AIProject[Source, D]) ⇒ Boolean, msg: ⇒ Any): AIProject[Source, D]

Implicit information
This member is added by an implicit conversion from AIProject[Source, D] to Ensuring[AIProject[Source, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (AIProject[Source, D]) ⇒ Boolean): AIProject[Source, D]

Implicit information
This member is added by an implicit conversion from AIProject[Source, D] to Ensuring[AIProject[Source, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): AIProject[Source, D]

Implicit information
This member is added by an implicit conversion from AIProject[Source, D] to Ensuring[AIProject[Source, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): AIProject[Source, D]

Implicit information
This member is added by an implicit conversion from AIProject[Source, D] to Ensuring[AIProject[Source, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
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] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from AIProject[Source, D] to StringFormat[AIProject[Source, D]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
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
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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( ... )
def →[B](y: B): (AIProject[Source, D], B)

Implicit information
This member is added by an implicit conversion from AIProject[Source, D] to ArrowAssoc[AIProject[Source, D]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from AIProject[Source, D] to any2stringadd[AIProject[Source, D]]

Inherited by implicit conversion StringFormat from AIProject[Source, D] to StringFormat[AIProject[Source, D]]

Inherited by implicit conversion Ensuring from AIProject[Source, D] to Ensuring[AIProject[Source, D]]

Inherited by implicit conversion ArrowAssoc from AIProject[Source, D] to ArrowAssoc[AIProject[Source, D]]

Ungrouped

Related Doc: package project

trait AIProject[Source, D <: Domain with OptionalReport] extends AnyRef

Abstract Value Members

abstract def ai: AI[D]

abstract def domain(project: Project[Source], classFile: ClassFile, method: Method): D

abstract def entryPoints(project: Project[Source]): Iterable[(ClassFile, Method)]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (AIProject[Source, D], B)

final def ==(arg0: Any): Boolean

def analyze(project: Project[Source], parameters: Seq[String]): ReportableAnalysisResult

val analyzeInParallel: Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (AIProject[Source, D]) ⇒ Boolean, msg: ⇒ Any): AIProject[Source, D]

def ensuring(cond: (AIProject[Source, D]) ⇒ Boolean): AIProject[Source, D]

def ensuring(cond: Boolean, msg: ⇒ Any): AIProject[Source, D]

def ensuring(cond: Boolean): AIProject[Source, D]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

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

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (AIProject[Source, D], B)

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from AIProject[Source, D] to any2stringadd[AIProject[Source, D]]

Inherited by implicit conversion StringFormat from AIProject[Source, D] to StringFormat[AIProject[Source, D]]

Inherited by implicit conversion Ensuring from AIProject[Source, D] to Ensuring[AIProject[Source, D]]

Inherited by implicit conversion ArrowAssoc from AIProject[Source, D] to ArrowAssoc[AIProject[Source, D]]

Ungrouped