Packages

c

org.opalj.tac.fpcf.analyses.cg

CFA_k_l_TypeIterator

class CFA_k_l_TypeIterator extends TypeIterator with PointsToTypeIterator[AllocationSite, AllocationSitePointsToSet] with CallStringContextProvider

Context-sensitive points-to type iterator for the k-l-CFA algorithm.

Source
TypeIterator.scala
Linear Supertypes
CallStringContextProvider, PointsToTypeIterator[AllocationSite, AllocationSitePointsToSet], TypeIterator, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CFA_k_l_TypeIterator
  2. CallStringContextProvider
  3. PointsToTypeIterator
  4. TypeIterator
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new CFA_k_l_TypeIterator(project: SomeProject, k: Int, l: Int)

Type Members

  1. type ContextType = CallStringContext
    Definition Classes
    CallStringContextProvider → TypeIterator
  2. type InformationType = AllocationSitePointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  3. type PropertyType = AllocationSitePointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator

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. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  6. def combine(pts1: AllocationSitePointsToSet, pts2: AllocationSitePointsToSet): AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
    Annotations
    @inline()
  7. def contextFromId(contextId: Int): Context
    Definition Classes
    CallStringContextProvider → TypeIterator
    Annotations
    @inline()
  8. def continuation(field: Field, updatedEPS: EPS[Entity, Property], oldEOptP: EOptionP[Entity, Property], handleNewType: (ReferenceType) => Unit)(implicit state: TypeIteratorState): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  9. def continuation(use: V, updatedEPS: EPS[Entity, AllocationSitePointsToSet], oldEOptP: EOptionP[Entity, AllocationSitePointsToSet], additionalTypes: Set[ReferenceType], handleNewType: (ReferenceType) => Unit): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  10. def continuation(field: Field, updatedEPS: EPS[Entity, Property])(handleNewType: (ReferenceType) => Unit)(implicit state: TypeIteratorState): Unit
    Definition Classes
    TypeIterator
  11. def continuation(use: V, updatedEPS: EPS[Entity, PropertyType], additionalTypes: Set[ReferenceType] = Set.empty)(handleNewType: (ReferenceType) => Unit)(implicit state: TypeIteratorState): Unit
    Definition Classes
    TypeIterator
  12. def continuationForAllocations(use: V, updatedEPS: EPS[Entity, PropertyType], oldEOptP: EOptionP[Entity, PropertyType], additionalTypes: Set[ReferenceType], handleNewAllocation: (ReferenceType, Context, Int) => Unit): Unit
    Attributes
    protected[this]
    Definition Classes
    CFA_k_l_TypeIterator → TypeIterator
    Annotations
    @inline()
  13. def continuationForAllocations(field: Field, updatedEPS: EPS[Entity, Property], oldEOptP: EOptionP[Entity, Property], handleNewAllocation: (ReferenceType, Context, Int) => Unit)(implicit state: TypeIteratorState): Unit
    Attributes
    protected[this]
    Definition Classes
    TypeIterator
    Annotations
    @inline()
  14. def continuationForAllocations(field: Field, updatedEPS: EPS[Entity, Property])(handleNewAllocation: (ReferenceType, Context, Int) => Unit)(implicit state: TypeIteratorState): Unit
    Definition Classes
    TypeIterator
  15. def continuationForAllocations(use: V, updatedEPS: EPS[Entity, PropertyType], additionalTypes: Set[ReferenceType] = Set.empty)(handleNewAllocation: (ReferenceType, Context, Int) => Unit)(implicit state: TypeIteratorState): Unit
    Definition Classes
    TypeIterator
  16. def createPointsToSet(pc: Int, context: CallStringContext, allocatedType: ReferenceType, isConstant: Boolean, isEmptyArray: Boolean = false): AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    CFA_k_l_TypeIterator → PointsToTypeIterator
    Annotations
    @inline()
  17. def currentPointsTo(depender: Entity, dependee: Entity)(implicit state: TypeIteratorState): AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
    Annotations
    @inline()
  18. implicit val definitionSites: DefinitionSites
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
  19. val emptyPointsToSet: AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    CFA_k_l_TypeIterator → PointsToTypeIterator
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  22. def expandContext(oldContext: Context, method: DeclaredMethod, pc: Int): CallStringContext
    Definition Classes
    CallStringContextProvider → TypeIterator
    Annotations
    @inline()
  23. def foreachAllocation(use: V, context: Context, stmts: Array[Stmt[V]], typesProperty: AllocationSitePointsToSet, additionalTypes: Set[ReferenceType])(handleAllocation: (ReferenceType, Context, Int) => Unit): Unit
    Definition Classes
    CFA_k_l_TypeIterator → TypeIterator
    Annotations
    @inline()
  24. def foreachAllocation(field: Field, typesProperty: InformationType)(handleAllocation: (ReferenceType, Context, Int) => Unit): Unit
    Definition Classes
    TypeIterator
  25. def foreachType(field: Field, typesProperty: AllocationSitePointsToSet)(handleType: (ReferenceType) => Unit): Unit
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  26. def foreachType(use: V, typesProperty: AllocationSitePointsToSet, additionalTypes: Set[ReferenceType])(handleType: (ReferenceType) => Unit): Unit
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  27. implicit val formalParameters: VirtualFormalParameters
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
  28. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  29. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. val k: Int
    Definition Classes
    CFA_k_l_TypeIterator → CallStringContextProvider
  32. val l: Int
  33. val mergeClassConstants: Boolean
  34. val mergeExceptions: Boolean
  35. val mergeStringBuilderBuffer: Boolean
  36. val mergeStringConstants: Boolean
  37. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  38. def newContext(method: DeclaredMethod): CallStringContext
    Definition Classes
    CallStringContextProvider → TypeIterator
    Annotations
    @inline()
  39. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  40. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  41. val pointsToProperty: PropertyKey[AllocationSitePointsToSet]
    Attributes
    protected[this]
    Definition Classes
    CFA_k_l_TypeIterator → PointsToTypeIterator
  42. val project: SomeProject
    Definition Classes
    TypeIterator
  43. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  44. def toString(): String
    Definition Classes
    AnyRef → Any
  45. def typesProperty(field: Field, depender: Entity)(implicit propertyStore: PropertyStore, state: TypeIteratorState): AllocationSitePointsToSet
    Definition Classes
    CFA_k_l_TypeIterator → TypeIterator
  46. def typesProperty(field: Field, fieldAllocation: DefinitionSite, depender: Entity, context: Context, stmts: Array[Stmt[V]])(implicit propertyStore: PropertyStore, state: TypeIteratorState): AllocationSitePointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  47. def typesProperty(use: V, context: ContextType, depender: Entity, stmts: Array[Stmt[V]])(implicit state: TypeIteratorState): AllocationSitePointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  48. val usedPropertyKinds: Set[PropertyBounds]
    Definition Classes
    PointsToTypeIterator → TypeIterator
  49. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  50. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  51. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from CallStringContextProvider

Inherited from PointsToTypeIterator[AllocationSite, AllocationSitePointsToSet]

Inherited from TypeIterator

Inherited from AnyRef

Inherited from Any

Ungrouped