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.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- PointsToAnalysisState
- TACAIBasedAnalysisState
- ContextualAnalysis
- BaseAnalysisState
- AnalysisState
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new PointsToAnalysisState(callContext: ContextType, _tacDependee: EOptionP[Method, properties.TACAI])
Type Members
- type ContextType = ContextType
- Definition Classes
- TACAIBasedAnalysisState → ContextualAnalysis
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- var _tacDependee: EOptionP[Method, properties.TACAI]
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisState → TACAIBasedAnalysisState
- def addArrayLoadEntity(fakeEntity: (Entity, ArrayType, (ReferenceType) => Boolean)): Unit
- def addArrayStoreEntity(fakeEntity: (IntTrieSet, ArrayType)): Unit
- final def addDependee(depender: Entity, dependee: SomeEOptionP, typeFilter: (ReferenceType) => Boolean): Unit
- def addGetFieldEntity(fakeEntity: (Entity, Option[DeclaredField], (ReferenceType) => Boolean)): Unit
- def addIncompletePointsToInfo(pc: Int)(implicit logContext: LogContext): Unit
- def addPutFieldEntity(fakeEntity: (IntTrieSet, Option[DeclaredField])): Unit
- def allocationSitePointsToSet(e: Entity): PointsToSet
- def allocationSitePointsToSetsIterator: Iterator[(Entity, PointsToSet)]
- def arrayLoadsIterator: Iterator[(Entity, ArrayType, (ReferenceType) => Boolean)]
- def arrayStoresIterator: Iterator[(IntTrieSet, ArrayType)]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- val callContext: ContextType
- Definition Classes
- PointsToAnalysisState → TACAIBasedAnalysisState
- def callees(ps: PropertyStore): Callees
- def calleesDependee: EOptionP[DeclaredMethod, Callees]
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- 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
- PointsToAnalysisState → TACAIBasedAnalysisState → BaseAnalysisState → AnalysisState
- final def dependeesOf(depender: Entity): Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def getFieldsIterator: Iterator[(Entity, Option[DeclaredField], (ReferenceType) => Boolean)]
- final def getProperty[E <: Entity, P <: Property](dependee: EPK[E, P]): EOptionP[E, P]
- def hasAllocationSitePointsToSet(e: Entity): Boolean
- def hasCalleesDepenedee: Boolean
- final def hasDependee(dependee: EPK[Entity, Property]): Boolean
- final def hasDependees(depender: Entity): Boolean
- final def hasDependency(depender: Entity, dependee: SomeEPK): Boolean
- 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
- PointsToAnalysisState → TACAIBasedAnalysisState → BaseAnalysisState → AnalysisState
- def hasReadAccessDependee: Boolean
- def hasWriteAccessDependee: Boolean
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def includeSharedPointsToSet(e: Entity, pointsToSet: PointsToSet, typeFilter: (ReferenceType) => Boolean = PointsToSetLike.noFilter): Unit
- def includeSharedPointsToSets(e: Entity, pointsToSets: Iterator[PointsToSet], typeFilter: (ReferenceType) => Boolean): Unit
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def isTACDependeeRefinable: Boolean
- Definition Classes
- TACAIBasedAnalysisState
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- def putFieldsIterator: Iterator[(IntTrieSet, Option[DeclaredField])]
- def readAccessDependee: EOptionP[Method, MethodFieldReadAccessInformation]
- def readAccesses(ps: PropertyStore): MethodFieldReadAccessInformation
- def setAllocationSitePointsToSet(ds: Entity, pointsToSet: PointsToSet): Unit
- def setCalleesDependee(calleeDependee: EOptionP[DeclaredMethod, Callees]): Unit
- def setReadAccessDependee(dependee: EOptionP[Method, MethodFieldReadAccessInformation]): Unit
- def setWriteAccessDependee(dependee: EOptionP[Method, MethodFieldWriteAccessInformation]): Unit
- def sharedPointsToSetsIterator: Iterator[(Entity, PointsToSet)]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- final def tac: TACode[TACMethodParameter, DUVar[ValueInformation]]
- Definition Classes
- TACAIBasedAnalysisState
- final def tacDependee: EOptionP[Method, properties.TACAI]
- Definition Classes
- TACAIBasedAnalysisState
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def updateTACDependee(tacDependee: EOptionP[Method, properties.TACAI]): Unit
- Definition Classes
- TACAIBasedAnalysisState
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def writeAccessDependee: EOptionP[Method, MethodFieldWriteAccessInformation]
- def writeAccesses(ps: PropertyStore): MethodFieldWriteAccessInformation
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
- Deprecated