Packages

t

org.opalj.tac.fpcf.analyses.cg

PointsToTypeIterator

trait PointsToTypeIterator[ElementType, PointsToSet >: Null <: PointsToSetLike[ElementType, _, PointsToSet]] extends TypeIterator

Functionality for providing types based on individual points-to information, e.g., CFA. Points-to information is stored per variable.

Source
TypeIterator.scala
Linear Supertypes
TypeIterator, AnyRef, Any
Known Subclasses
AllocationSitesPointsToTypeIterator, CFA_k_l_TypeIterator, TypesBasedPointsToTypeIterator
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PointsToTypeIterator
  2. TypeIterator
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. abstract type ContextType <: Context
    Attributes
    protected[cg]
    Definition Classes
    TypeIterator
  2. type InformationType = PointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  3. type PropertyType = PointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator

Abstract Value Members

  1. abstract def contextFromId(contextId: Int): Context
    Definition Classes
    TypeIterator
  2. abstract def createPointsToSet(pc: Int, context: ContextType, allocatedType: ReferenceType, isConstant: Boolean, isEmptyArray: Boolean = false): PointsToSet
    Attributes
    protected[this]
  3. abstract def emptyPointsToSet: PointsToSet
    Attributes
    protected[this]
  4. abstract def expandContext(oldContext: Context, method: DeclaredMethod, pc: Int): ContextType
    Definition Classes
    TypeIterator
  5. abstract def newContext(method: DeclaredMethod): ContextType
    Definition Classes
    TypeIterator
  6. abstract val pointsToProperty: PropertyKey[PointsToSet]
    Attributes
    protected[this]
  7. abstract def typesProperty(field: Field, depender: Entity)(implicit propertyStore: PropertyStore, state: TypeIteratorState): InformationType
    Definition Classes
    TypeIterator

Concrete 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: PointsToSet, pts2: PointsToSet): PointsToSet
    Attributes
    protected[this]
    Annotations
    @inline()
  7. 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()
  8. def continuation(use: V, updatedEPS: EPS[Entity, PointsToSet], oldEOptP: EOptionP[Entity, PointsToSet], additionalTypes: Set[ReferenceType], handleNewType: (ReferenceType) => Unit): Unit
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  9. def continuation(field: Field, updatedEPS: EPS[Entity, Property])(handleNewType: (ReferenceType) => Unit)(implicit state: TypeIteratorState): Unit
    Definition Classes
    TypeIterator
  10. def continuation(use: V, updatedEPS: EPS[Entity, PropertyType], additionalTypes: Set[ReferenceType] = Set.empty)(handleNewType: (ReferenceType) => Unit)(implicit state: TypeIteratorState): Unit
    Definition Classes
    TypeIterator
  11. 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()
  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
    TypeIterator
    Annotations
    @inline()
  13. def continuationForAllocations(field: Field, updatedEPS: EPS[Entity, Property])(handleNewAllocation: (ReferenceType, Context, Int) => Unit)(implicit state: TypeIteratorState): Unit
    Definition Classes
    TypeIterator
  14. 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
  15. def currentPointsTo(depender: Entity, dependee: Entity)(implicit state: TypeIteratorState): PointsToSet
    Attributes
    protected[this]
    Annotations
    @inline()
  16. implicit val definitionSites: DefinitionSites
    Attributes
    protected[this]
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  19. def foreachAllocation(field: Field, typesProperty: InformationType)(handleAllocation: (ReferenceType, Context, Int) => Unit): Unit
    Definition Classes
    TypeIterator
  20. def foreachAllocation(use: V, context: Context, stmts: Array[Stmt[V]], typesProperty: InformationType, additionalTypes: Set[ReferenceType] = Set.empty)(handleAllocation: (ReferenceType, Context, Int) => Unit): Unit
    Definition Classes
    TypeIterator
  21. def foreachType(field: Field, typesProperty: PointsToSet)(handleType: (ReferenceType) => Unit): Unit
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  22. def foreachType(use: V, typesProperty: PointsToSet, additionalTypes: Set[ReferenceType])(handleType: (ReferenceType) => Unit): Unit
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  23. implicit val formalParameters: VirtualFormalParameters
    Attributes
    protected[this]
  24. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  25. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  30. val project: SomeProject
    Definition Classes
    TypeIterator
  31. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  32. def toString(): String
    Definition Classes
    AnyRef → Any
  33. def typesProperty(field: Field, fieldAllocation: DefinitionSite, depender: Entity, context: Context, stmts: Array[Stmt[V]])(implicit propertyStore: PropertyStore, state: TypeIteratorState): PointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  34. def typesProperty(use: V, context: ContextType, depender: Entity, stmts: Array[Stmt[V]])(implicit state: TypeIteratorState): PointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  35. val usedPropertyKinds: Set[PropertyBounds]
    Definition Classes
    PointsToTypeIterator → TypeIterator
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  38. 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 TypeIterator

Inherited from AnyRef

Inherited from Any

Ungrouped