fpcf
Common super trait of all analyses that use the fixpoint computations framework.
Common super trait of all analyses that use the fixpoint computations framework. In general, an analysis computes a org.opalj.fpcf.Property by processing some entities, e.g.: ´classes´, ´methods´ or ´fields´.
Provides the generic infrastructure that is implemented by all factories for FPCF analyses.
Provides the generic infrastructure that is implemented by all factories for FPCF analyses. Analyses that are created sing this factory will then be run using the PropertyStore. I.e., this trait is typically implemented by the singleton object that facilitates the creation of analyses.
It is possible to use an analysis that directly uses the property store and an analysis that uses this factory infrastructure at the same time.
The key object to get the FPCFAnalysesManager.
The key object to get the FPCFAnalysesManager.
To get an instance of the FPCFAnalysesManager pass this key to a
project's get method.
Registry for all factories for analyses that are implemented using the fixpoint computations framework (fpcf).
Registry for all factories for analyses that are implemented using the fixpoint computations framework (fpcf).
The registry primarily serves as a central container that can be queried by subsequent tools.
The analyses that are part of OPAL are already registered.
The registry does not handle dependencies between analyses yet.
The registry is thread safe.
Companion object of FPCFAnalysisRunner that defines common helper functions and values.