common

Value Members

1. object DomainRegistry

   

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

   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.

2. object SimpleAIKey extends AIKey

   

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

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

   Example:

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

3. object XHTML

   

   Several utility methods to facilitate the development of the abstract interpreter/ new domains for the abstract interpreter, by creating various kinds of dumps of the state of the interpreter.

   Several utility methods to facilitate the development of the abstract interpreter/ new domains for the abstract interpreter, by creating various kinds of dumps of the state of the interpreter.

   Thread Safety

   This object is thread-safe.