common
Registry for all domains that can be instantiated given a Project, ClassFile and Method object.
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.
This object is thread-safe.
Registry for all domains that can be instantiated given a
Project,ClassFileandMethodobject.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.