Packages

c

org.opalj.tac.fpcf.analyses.pointsto

PointsToAnalysisState

class PointsToAnalysisState[ElementType, PointsToSet <: PointsToSetLike[ElementType, _, PointsToSet], ContextType <: Context] extends BaseAnalysisState with TACAIBasedAnalysisState[ContextType]

Encapsulates the state of the analysis, analyzing a certain method using the org.opalj.tac.fpcf.analyses.pointsto.TypeBasedPointsToAnalysis.

Source
PointsToAnalysisState.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PointsToAnalysisState
  2. TACAIBasedAnalysisState
  3. ContextualAnalysis
  4. BaseAnalysisState
  5. AnalysisState
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new PointsToAnalysisState(callContext: ContextType, _tacDependee: EOptionP[Method, properties.TACAI])

Type Members

  1. type ContextType = ContextType

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. var _tacDependee: EOptionP[Method, properties.TACAI]
    Attributes
    protected[this]
    Definition Classes
    PointsToAnalysisStateTACAIBasedAnalysisState
  5. def addArrayLoadEntity(fakeEntity: (Entity, ArrayType, (ReferenceType) => Boolean)): Unit
  6. def addArrayStoreEntity(fakeEntity: (IntTrieSet, ArrayType)): Unit
  7. final def addDependee(depender: Entity, dependee: SomeEOptionP, typeFilter: (ReferenceType) => Boolean): Unit
  8. def addGetFieldEntity(fakeEntity: (Entity, Option[Field], (ReferenceType) => Boolean)): Unit
  9. def addIncompletePointsToInfo(pc: Int)(implicit logContext: LogContext): Unit
  10. def addPutFieldEntity(fakeEntity: (IntTrieSet, Option[Field])): Unit
  11. def allocationSitePointsToSet(e: Entity): PointsToSet
  12. def allocationSitePointsToSetsIterator: Iterator[(Entity, PointsToSet)]
  13. def arrayLoadsIterator: Iterator[(Entity, ArrayType, (ReferenceType) => Boolean)]
  14. def arrayStoresIterator: Iterator[(IntTrieSet, ArrayType)]
  15. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  16. val callContext: ContextType
  17. def callees(ps: PropertyStore): Callees
  18. def calleesDependee: EOptionP[DeclaredMethod, Callees]
  19. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  20. def dependees: Set[SomeEOptionP]

    Inherited classes that introduce new dependencies must override this method and call add a call to super!

    Inherited classes that introduce new dependencies must override this method and call add a call to super!

    Definition Classes
    PointsToAnalysisStateTACAIBasedAnalysisStateBaseAnalysisStateAnalysisState
  21. final def dependeesOf(depender: Entity): Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)]
  22. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  24. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  25. def getFieldsIterator: Iterator[(Entity, Option[Field], (ReferenceType) => Boolean)]
  26. final def getProperty[E <: Entity, P <: Property](dependee: EPK[E, P]): EOptionP[E, P]
  27. def hasAllocationSitePointsToSet(e: Entity): Boolean
  28. def hasCalleesDepenedee: Boolean
  29. final def hasDependee(dependee: EPK[Entity, Property]): Boolean
  30. final def hasDependees(depender: Entity): Boolean
  31. final def hasDependency(depender: Entity, dependee: SomeEPK): Boolean
  32. def hasOpenDependencies: Boolean

    Inherited classes that introduce new dependencies must override this method and call add a call to super!

    Inherited classes that introduce new dependencies must override this method and call add a call to super!

    Definition Classes
    PointsToAnalysisStateTACAIBasedAnalysisStateBaseAnalysisStateAnalysisState
  33. final def hasTACDependee: Boolean
    Definition Classes
    TACAIBasedAnalysisState
  34. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  35. def includeSharedPointsToSet(e: Entity, pointsToSet: PointsToSet, typeFilter: (ReferenceType) => Boolean = PointsToSetLike.noFilter): Unit
  36. def includeSharedPointsToSets(e: Entity, pointsToSets: Iterator[PointsToSet], typeFilter: (ReferenceType) => Boolean): Unit
  37. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  40. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  41. def putFieldsIterator: Iterator[(IntTrieSet, Option[Field])]
  42. def setAllocationSitePointsToSet(ds: Entity, pointsToSet: PointsToSet): Unit
  43. def setCalleesDependee(calleeDependee: EOptionP[DeclaredMethod, Callees]): Unit
  44. def sharedPointsToSetsIterator: Iterator[(Entity, PointsToSet)]
  45. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  46. final def tac: TACode[TACMethodParameter, DUVar[ValueInformation]]
    Definition Classes
    TACAIBasedAnalysisState
  47. final def tacDependee: EOptionP[Method, properties.TACAI]
    Definition Classes
    TACAIBasedAnalysisState
  48. def toString(): String
    Definition Classes
    AnyRef → Any
  49. final def updateTACDependee(tacDependee: EOptionP[Method, properties.TACAI]): Unit
    Definition Classes
    TACAIBasedAnalysisState
  50. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  51. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  52. 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 TACAIBasedAnalysisState[ContextType]

Inherited from ContextualAnalysis

Inherited from BaseAnalysisState

Inherited from AnalysisState

Inherited from AnyRef

Inherited from Any

Ungrouped