TheProject

Provides information about the underlying project.

Usage

If a (partial-) domain needs information about the project declare a corresponding self-type dependency.

trait MyIntegerValuesDomain extends IntegerValues { this : TheProject =>

Providing Information about a Project

A domain that provides information about the currently analyzed project should inherit from this trait and implement the respective method.

Core Properties

Defines the public interface.
Makes the analyzed org.opalj.br.analyses.Project available.
Thread safe.

Note: It is recommended that the domain that provides the project information does not use the override access flag. This way the compiler will issue a warning if two implementations are used to create a final domain.

Linear Supertypes

ThePropertyStore, LogContextProvider, TheClassHierarchy, AnyRef, Any

Known Subclasses

BaseConfigurableDomain, BaseDomain, BaseDomainWithDefUse, BaseFieldValuesAnalysisDomain, BaseMethodReturnValuesAnalysisDomain, BasicVTACallGraphDomain, BasicVTAWithPreAnalysisCallGraphDomain, CFACallGraphDomain, ChildDefaultDomain, CoordinatingValuesDomain, DefaultCHACallGraphDomain, DefaultConfigurableDomain, DefaultConfigurableDomain, DefaultConfigurableIntervalValuesDomain, DefaultConfigurableReferenceValuesDomain, DefaultDomain, DefaultDomain, DefaultDomain, DefaultDomain, DefaultDomainWithCFG, DefaultDomainWithCFGAndDefUse, DefaultIntervalValuesDomain, DefaultPerformInvocationsDomain, DefaultPerformInvocationsDomainWithCFG, DefaultReferenceValuesDomain, DefaultSetValuesDomain, DefaultSingletonValuesDomain, DefaultVTACallGraphDomain, ExtVTACallGraphDomain, FPFieldValuesAnalysisDomain, FPMethodReturnValuesAnalysisDomain, SharedDefaultDomain, SharedValuesDomain, ZeroDomain

Abstract Value Members

implicit abstract def project: SomeProject

Returns the project that is currently analyzed.

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 TheProject to any2stringadd[TheProject] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (TheProject, B)

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

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

Definition Classes
Any
implicit final def classHierarchy: ClassHierarchy

Returns the project's class hierarchy.
Returns the project's class hierarchy.

Definition Classes
TheProject → TheClassHierarchy
Annotations
@inline()
def clone(): AnyRef

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

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

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

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

Implicit information
This member is added by an implicit conversion from TheProject to Ensuring[TheProject] 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 TheProject to StringFormat[TheProject] 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
def isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer

Definition Classes
TheClassHierarchy
See also
Delegates to org.opalj.br.ClassHierarchy's isSubtypeOf method.
Domain.isSubtypeOf
implicit final def logContext: LogContext

Definition Classes
TheProject → LogContextProvider
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final lazy val propertyStore: PropertyStore

Definition Classes
TheProject → ThePropertyStore
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): (TheProject, B)

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

Related Doc: package domain

trait TheProject extends TheClassHierarchy with LogContextProvider with ThePropertyStore

Usage

Providing Information about a Project

Core Properties

Abstract Value Members

implicit abstract def project: SomeProject

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (TheProject, B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

implicit final def classHierarchy: ClassHierarchy

def clone(): AnyRef

def ensuring(cond: (TheProject) ⇒ Boolean, msg: ⇒ Any): TheProject

def ensuring(cond: (TheProject) ⇒ Boolean): TheProject

def ensuring(cond: Boolean, msg: ⇒ Any): TheProject

def ensuring(cond: Boolean): TheProject

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

def isSubtypeOf(subtype: ReferenceType, supertype: ReferenceType): Answer

implicit final def logContext: LogContext

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final lazy val propertyStore: PropertyStore

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): (TheProject, B)

Inherited from ThePropertyStore

Inherited from LogContextProvider

Inherited from TheClassHierarchy

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from TheProject to any2stringadd[TheProject]

Inherited by implicit conversion StringFormat from TheProject to StringFormat[TheProject]

Inherited by implicit conversion Ensuring from TheProject to Ensuring[TheProject]

Inherited by implicit conversion ArrowAssoc from TheProject to ArrowAssoc[TheProject]

Ungrouped