Packages

t

org.opalj.tac.fpcf.analyses.cg

TypesBasedPointsToTypeIterator

trait TypesBasedPointsToTypeIterator extends TypeIterator with PointsToTypeIterator[ReferenceType, TypeBasedPointsToSet]

Context-insensitive points-to type iterator for the 0-CFA algorithm.

Source
TypeIterator.scala
Linear Supertypes
PointsToTypeIterator[ReferenceType, TypeBasedPointsToSet], TypeIterator, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypesBasedPointsToTypeIterator
  2. PointsToTypeIterator
  3. TypeIterator
  4. AnyRef
  5. 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 = TypeBasedPointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  3. type PropertyType = TypeBasedPointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator

Abstract Value Members

  1. abstract def contextFromId(contextId: Int): Context
    Definition Classes
    TypeIterator
  2. abstract def expandContext(oldContext: Context, method: DeclaredMethod, pc: Int): ContextType
    Definition Classes
    TypeIterator
  3. abstract def newContext(method: DeclaredMethod): ContextType
    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: TypeBasedPointsToSet, pts2: TypeBasedPointsToSet): TypeBasedPointsToSet
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
    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, TypeBasedPointsToSet], oldEOptP: EOptionP[Entity, TypeBasedPointsToSet], 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 createPointsToSet(pc: Int, context: ContextType, allocatedType: ReferenceType, isConstant: Boolean, isEmptyArray: Boolean = false): TypeBasedPointsToSet
    Attributes
    protected[this]
    Definition Classes
    TypesBasedPointsToTypeIterator → PointsToTypeIterator
    Annotations
    @inline()
  16. def currentPointsTo(depender: Entity, dependee: Entity)(implicit state: TypeIteratorState): TypeBasedPointsToSet
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
    Annotations
    @inline()
  17. implicit val definitionSites: DefinitionSites
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
  18. val emptyPointsToSet: TypeBasedPointsToSet
    Attributes
    protected[this]
    Definition Classes
    TypesBasedPointsToTypeIterator → PointsToTypeIterator
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  21. def foreachAllocation(field: Field, typesProperty: InformationType)(handleAllocation: (ReferenceType, Context, Int) => Unit): Unit
    Definition Classes
    TypeIterator
  22. 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
  23. def foreachType(field: Field, typesProperty: TypeBasedPointsToSet)(handleType: (ReferenceType) => Unit): Unit
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  24. def foreachType(use: V, typesProperty: TypeBasedPointsToSet, additionalTypes: Set[ReferenceType])(handleType: (ReferenceType) => Unit): Unit
    Definition Classes
    PointsToTypeIterator → TypeIterator
    Annotations
    @inline()
  25. implicit val formalParameters: VirtualFormalParameters
    Attributes
    protected[this]
    Definition Classes
    PointsToTypeIterator
  26. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  27. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  28. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  32. val pointsToProperty: PropertyKey[TypeBasedPointsToSet]
    Attributes
    protected[this]
    Definition Classes
    TypesBasedPointsToTypeIterator → PointsToTypeIterator
  33. val project: SomeProject
    Definition Classes
    TypeIterator
  34. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. def typesProperty(field: Field, depender: Entity)(implicit propertyStore: PropertyStore, state: TypeIteratorState): TypeBasedPointsToSet
    Definition Classes
    TypesBasedPointsToTypeIterator → TypeIterator
  37. def typesProperty(field: Field, fieldAllocation: DefinitionSite, depender: Entity, context: Context, stmts: Array[Stmt[V]])(implicit propertyStore: PropertyStore, state: TypeIteratorState): TypeBasedPointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  38. def typesProperty(use: V, context: ContextType, depender: Entity, stmts: Array[Stmt[V]])(implicit state: TypeIteratorState): TypeBasedPointsToSet
    Definition Classes
    PointsToTypeIterator → TypeIterator
  39. val usedPropertyKinds: Set[PropertyBounds]
    Definition Classes
    PointsToTypeIterator → TypeIterator
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  42. 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 PointsToTypeIterator[ReferenceType, TypeBasedPointsToSet]

Inherited from TypeIterator

Inherited from AnyRef

Inherited from Any

Ungrouped