Packages

c

org.opalj.tac.fpcf.analyses

FieldLocalityState

class FieldLocalityState extends AnyRef

Source
FieldLocalityState.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FieldLocalityState
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new FieldLocalityState(field: Field, thisIsCloneable: Boolean)

Value Members

  1. def addCallersDependee(ep: EOptionP[DeclaredMethod, Callers], pcs: PCs): Unit
  2. def addCallersDependee(ep: EOptionP[DeclaredMethod, Callers]): Unit
  3. def addCallsite(caller: DeclaredMethod, pc: PC)(implicit propertyStore: PropertyStore): EOptionP[DeclaredMethod, Callees]
  4. def addClonedDefinitionSiteDependee(ep: EOptionP[(Context, DefinitionSiteLike), EscapeProperty]): Unit
  5. def addDefinitionSiteDependee(ep: EOptionP[(Context, DefinitionSiteLike), EscapeProperty], isGetFieldOfReceiver: Boolean): Unit
  6. def addMethodDependee(ep: EOptionP[Context, ReturnValueFreshness]): Unit
  7. def addTACDependee(ep: EOptionP[Method, properties.TACAI], pcs: PCs): Unit
  8. def addTACDependee(ep: EOptionP[Method, properties.TACAI]): Unit
  9. def dependees: Set[SomeEOptionP]
  10. val field: Field
  11. def getCallersDependee(dm: DeclaredMethod): EOptionP[DeclaredMethod, Callers]
  12. def getCallsites(caller: DeclaredMethod): IntTrieSet
  13. def getTACDependee(m: Method): EOptionP[Method, properties.TACAI]
  14. def hasNoDependees: Boolean
  15. def hasTacDependees: Boolean
  16. def isDefinitionSiteOfClone(e: (Context, DefinitionSiteLike)): Boolean
  17. def isGetFieldOfReceiver(defSite: (Context, DefinitionSiteLike)): Boolean
  18. var overridesClone: Boolean
  19. var potentialCloneCallers: Set[Method]
  20. def removeDefinitionSiteDependee(ep: EOptionP[(Context, DefinitionSiteLike), EscapeProperty]): Unit
  21. def removeMethodDependee(ep: EOptionP[Context, ReturnValueFreshness]): Unit
  22. var tacFieldAccessPCs: Map[Method, PCs]
  23. def temporaryState: FieldLocality
  24. val thisIsCloneable: Boolean
  25. val thisType: ObjectType
  26. def updateAllocationSiteDependee(ep: EOptionP[(Context, DefinitionSiteLike), EscapeProperty]): Unit
  27. def updateCalleeDependee(ep: EOptionP[DeclaredMethod, Callees]): Unit
  28. def updateMethodDependee(ep: EOptionP[Context, ReturnValueFreshness]): Unit
  29. def updateWithMeet(f: FieldLocality): Unit