Object

org.opalj.ai.common

DomainRegistry

Related Doc: package common

Permalink

object DomainRegistry

Registry for all domains that can be instantiated given a Project, and a Method with a body.

The registry was developed to support tools for debugging purposes that let the user/developer choose between different domains. After choosing a domain, an abstract interpretation can be performed.

The compatible domains that are part of OPAL are already registered.

Thread Safety

The registry is thread safe.

Source
DomainRegistry.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DomainRegistry
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type TheRegistry = Map[Class[_ <: Domain], (SomeProject, Method) ⇒ Domain]

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

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

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

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

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def domainDescriptions(): Iterable[String]

    Permalink

    Returns an Iterable to make it possible to iterate over the descriptions of the domain.

    Returns an Iterable to make it possible to iterate over the descriptions of the domain. Useful to show the (end-users) some meaningful descriptions.

  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  11. def hashCode(): Int

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

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

    Permalink
    Definition Classes
    AnyRef
  14. def newDomain(domainClass: Class[_ <: Domain], project: SomeProject, method: Method): Domain

    Permalink

    Creates a new instance of the domain identified by the given domainClass.

    Creates a new instance of the domain identified by the given domainClass. To create the instance the registered factory method will be used.

    domainClass

    The class object of the domain.

    project

    The project.

    method

    A method with a body.

  15. def newDomain(domainDescription: String, project: SomeProject, method: Method): Domain

    Permalink

    Creates a new instance of the domain identified by the given domainDescription.

    Creates a new instance of the domain identified by the given domainDescription.

    domainDescription

    The description that identifies the domain.

    project

    The project.

    method

    A method with a body.

  16. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  17. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. def register(domainDescription: String, domainClass: Class[_ <: Domain], factory: (SomeProject, Method) ⇒ Domain): Unit

    Permalink

    Register a new domain that can be used to perform an abstract interpretation of a specific method.

    Register a new domain that can be used to perform an abstract interpretation of a specific method.

    domainDescription

    A short description of the properties of the domain; in particular w.r.t. the kind of computations the domain does.

    domainClass

    The class of the domain.

    factory

    The factory method that will be used to create instances of the domain.

  19. def registry: TheRegistry

    Permalink

    Returns the current view of the registry.

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

    Permalink
    Definition Classes
    AnyRef
  21. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  22. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped