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.
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.
The class object of the domain.
The project.
A method with a body.
Creates a new instance of the domain identified by the given domainDescription
.
Creates a new instance of the domain identified by the given domainDescription
.
The description that identifies the domain.
The project.
A method with a body.
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.
A short description of the properties of the domain; in particular w.r.t. the kind of computations the domain does.
The class of the domain.
The factory method that will be used to create instances of the domain.
Returns the current view of the registry.
Registry for all domains that can be instantiated given a
Project
, and aMethod
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.