Returns an object which performs and caches the result of the abstract interpretation of a method when required.
Returns an object which performs and caches the result of the abstract interpretation of a method when required.
All methods belonging to a project are analyzed using the same domainFactory
. Hence,
the domainFactory
needs to be set before compute is called/this key is passed to a
specific project. If multiple projects are instead concurrently, external synchronization
is necessary (e.g., on the ProjectInformationKey) to ensure that each project is
instantiated using the desired domain.
The SimpleAIKey has no special prerequisites.
The SimpleAIKey has no special prerequisites.
Key to get the result of the abstract interpreation of a method using a configured domain factory.
To get the index use the org.opalj.br.analyses.Project's
get
method and pass inthis
object.