ObjectImmutabilityAnalysis
Related Docs:
object ObjectImmutabilityAnalysis
| package analysis
Determines the immutability of instances of the given class file cf.
Determines the immutability of instances of the given class file cf.
The direct super class (file) of the given class file cf.
Can be null if superClassMutability is ImmutableObject.
The mutability of the given super class. The mutability must not be "MutableObject"; this case has to be handled explicitly. Hence, the mutability is either unknown, immutable or (at least) conditionally immutable.
Determines the mutability of instances of a specific class. In case the class is abstract the (implicit) assumption is made that all abstract methods (if any) are/can be implemented without necessarily/always requiring additional state; i.e., only the currently defined fields are take into consideration. An interfaces is always considered to be immutable. If you need to know if all possible instances of an interface or some type; i.e., all instances of the classes that implement the respective interface/inherit from some class are immutable, you can query the org.opalj.fpcf.properties.TypeImmutability property.
In case of incomplete class hierarchies or if the class hierarchy is complete, but some class files are not found the sound approximation is done that the respective classes are mutable.
This analysis uses the org.opalj.fpcf.properties.FieldMutability property to determine those fields which could be final, but which are not declared as final.