Packages

c

org.opalj.tac.fpcf.analyses.cg

AllocationSitesPointsToTypeIterator

class AllocationSitesPointsToTypeIterator extends TypeIterator with PointsToTypeIterator[AllocationSite, AllocationSitePointsToSet] with SimpleContextProvider

Type iterator with 1-call sensitivity for objects, for the 0-1-CFA algorithm.

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

Instance Constructors

  1. new AllocationSitesPointsToTypeIterator(project: SomeProject)

Type Members

  1. type ContextType = SimpleContext
    Definition Classes
    SimpleContextProvider → 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
    SimpleContextProvider → 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
    AllocationSitesPointsToTypeIterator → 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(field: Field, updatedEPS: EPS[Entity, Property], oldEOptP: EOptionP[Entity, Property], handleNewAllocation: (ReferenceType, Context, Int) => Unit)(implicit state: TypeIteratorState): Unit
    Attributes
    protected[this]
    Definition Classes
    AllocationSitesPointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  13. 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
    AllocationSitesPointsToTypeIterator → 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: SimpleContext, allocatedType: ReferenceType, isConstant: Boolean, isEmptyArray: Boolean = false): AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    AllocationSitesPointsToTypeIterator → 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 declaredMethods: DeclaredMethods
    Attributes
    protected[this]
    Definition Classes
    SimpleContextProvider
  19. implicit val definitionSites: DefinitionSites
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
  20. val emptyPointsToSet: AllocationSitePointsToSet
    Attributes
    protected[this]
    Definition Classes
    AllocationSitesPointsToTypeIterator → PointsToTypeIterator
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  23. def expandContext(oldContext: Context, method: DeclaredMethod, pc: Int): SimpleContext
    Definition Classes
    SimpleContextProvider → TypeIterator
    Annotations
    @inline()
  24. def foreachAllocation(field: Field, typesProperty: AllocationSitePointsToSet)(handleAllocation: (ReferenceType, Context, Int) => Unit): Unit
    Definition Classes
    AllocationSitesPointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  25. def foreachAllocation(use: V, context: Context, stmts: Array[Stmt[V]], typesProperty: AllocationSitePointsToSet, additionalTypes: Set[ReferenceType])(handleAllocation: (ReferenceType, Context, Int) => Unit): Unit
    Definition Classes
    AllocationSitesPointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  26. def foreachType(field: Field, typesProperty: AllocationSitePointsToSet)(handleType: (ReferenceType) => Unit): Unit
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  27. def foreachType(use: V, typesProperty: AllocationSitePointsToSet, additionalTypes: Set[ReferenceType])(handleType: (ReferenceType) => Unit): Unit
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  28. implicit val formalParameters: VirtualFormalParameters
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
  29. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  30. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  31. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  32. val mergeClassConstants: Boolean
  33. val mergeExceptions: Boolean
  34. val mergeStringBuilderBuffer: Boolean
  35. val mergeStringConstants: Boolean
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. def newContext(method: DeclaredMethod): SimpleContext
    Definition Classes
    SimpleContextProvider → TypeIterator
    Annotations
    @inline()
  38. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  39. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  40. val pointsToProperty: PropertyKey[AllocationSitePointsToSet]
    Attributes
    protected[this]
    Definition Classes
    AllocationSitesPointsToTypeIterator → PointsToTypeIterator
  41. val project: SomeProject
    Definition Classes
    TypeIterator
  42. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  43. def toString(): String
    Definition Classes
    AnyRef → Any
  44. def typesProperty(field: Field, depender: Entity)(implicit propertyStore: PropertyStore, state: TypeIteratorState): AllocationSitePointsToSet
    Definition Classes
    AllocationSitesPointsToTypeIterator → TypeIterator
  45. def typesProperty(field: Field, fieldAllocation: DefinitionSite, depender: Entity, context: Context, stmts: Array[Stmt[V]])(implicit propertyStore: PropertyStore, state: TypeIteratorState): AllocationSitePointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  46. def typesProperty(use: V, context: ContextType, depender: Entity, stmts: Array[Stmt[V]])(implicit state: TypeIteratorState): AllocationSitePointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  47. val usedPropertyKinds: Set[PropertyBounds]
    Definition Classes
    PointsToTypeIterator → TypeIterator
  48. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  49. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  50. 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 SimpleContextProvider

Inherited from PointsToTypeIterator[AllocationSite, AllocationSitePointsToSet]

Inherited from TypeIterator

Inherited from AnyRef

Inherited from Any

Ungrouped