ObjectImmutabilityAnalysis
Related Docs:
class ObjectImmutabilityAnalysis
| package analysis
Returns a set of integers that contains the id of every Property that is derived by the underlying analysis which is described by this FPCFAnalysisRunner.
Returns a set of integers that contains the id of every Property that is derived by the underlying analysis which is described by this FPCFAnalysisRunner.
This method has to be overridden in every subclass since it is used by the FPCFAnalysesManager to guarantee the save execution of all FPCFAnalysis.
Returns a short descriptive name of the analysis for which this is the factory.
Returns a short descriptive name of the analysis for which this is the factory.
The default name is the name of this class.
This method should be overridden.
Returns the information which kind of analyses should be executed to achieve more precise analysis results.
Returns the information which kind of analyses should be executed to achieve more precise analysis results.
This set should include all analyses that are required to get the most precise result. FIXME Transitively used analyses also should be added here since more than one analysis could depend on the same property.
Real requirements of the analysis should be added to the requirements definition. The set for recommendations should be disjunct to the requirements set.
These analyses are not required. Hence, the analysis will always compute a correct result. If the set of recommendations is not empty, you may lose precision for every analysis that is not executed in parallel.
Returns the information which other analyses strictly need to be executed before this analysis can be performed.
Returns the information which other analyses strictly need to be executed before this analysis can be performed.
An analysis should be listed as a requirement if and only if the analysis strictly depends on the computed property of the analysis and the property has no fallback (which is generally not the case!). If no strict requirements are defined then this analysis can be run even if no other analyses are executed. This provides the end user more leeway in specifying the analyses that should be analyzed.
Starts the analysis for the given project.
Starts the analysis for the given project. This method is typically implicitly
called by the FPCFAnalysesManager.
Starts the analysis for the given project.
Starts the analysis for the given project. This method is typically implicitly
called by the FPCFAnalysesManager.
The unique id of this factory.
The unique id of this factory.
Every factory for a specific analysis is automatically associated with a unique id.
Returns a set of integers that contains the id of every Property or [SetProperty] that is used by the underlying analysis which is described by this FPCFAnalysisRunner.
Returns a set of integers that contains the id of every Property or [SetProperty] that is used by the underlying analysis which is described by this FPCFAnalysisRunner.
The analyses with this id's are not explicitly required which is the case when the used properties define a (save) fallback value which is set by the PropertyStore if required.
This set consists only of property id's which are directly used by the analysis.
Self usages don't have to be documented since the analysis will derive this property during the computation.
Runs an immutability analysis to determine the mutability of objects.