Packages

c

org.opalj.fpcf.analyses

L0FieldMutabilityAnalysis

class L0FieldMutabilityAnalysis extends FPCFAnalysis

Determines if a private, static, non-final field is always initialized at most once or if a field is or can be mutated after (lazy) initialization. Field read and writes at initialization time (e.g., if the current class object is registered in some publically available data-store) are not considered. This is in-line with the semantics of final, which also does not prevent reads of partially initialized objects.

Linear Supertypes
FPCFAnalysis, ProjectBasedAnalysis, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. L0FieldMutabilityAnalysis
  2. FPCFAnalysis
  3. ProjectBasedAnalysis
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. final def ch: ClassHierarchy
    Definition Classes
    ProjectBasedAnalysis
  6. implicit final def classHierarchy: ClassHierarchy
    Definition Classes
    ProjectBasedAnalysis
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. def determineFieldMutability(field: Field): PropertyComputationResult

    Analyzes the mutability of private static non-final fields.

    Analyzes the mutability of private static non-final fields.

    This analysis is only defined and soundy if the class file does not contain native methods and the method body of all non-abstract methods is available. (If the analysis is scheduled using its companion object, all class files with native methods are filtered.)

    field

    A field without native methods and where the method body of all non-abstract methods is available.

  9. def determineFieldMutabilityLazy(e: Entity): PropertyComputationResult

    Invoked for in the lazy computation case.

    Invoked for in the lazy computation case. Final fields are considered org.opalj.fpcf.properties.DeclaredFinalField, non-final and non-private fields or fields of library classes whose method bodies are not available are considered org.opalj.fpcf.properties.NonFinalFieldByAnalysis. For all other cases the call is delegated to determineFieldMutability.

  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. final val fieldAccessInformation: FieldAccessInformation
  13. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. implicit final def logContext: LogContext
    Definition Classes
    ProjectBasedAnalysis
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. final def p: Project[_]
    Definition Classes
    ProjectBasedAnalysis
  22. val project: SomeProject
    Definition Classes
    L0FieldMutabilityAnalysis → ProjectBasedAnalysis
  23. implicit final val propertyStore: PropertyStore
    Definition Classes
    FPCFAnalysis
  24. final def ps: PropertyStore
    Definition Classes
    FPCFAnalysis
  25. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  26. def toString(): String
    Definition Classes
    AnyRef → Any
  27. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from FPCFAnalysis

Inherited from ProjectBasedAnalysis

Inherited from AnyRef

Inherited from Any

Ungrouped