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
- 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[Field], (ReferenceType) => Boolean)): Unit
- def addIncompletePointsToInfo(pc: Int)(implicit logContext: LogContext): Unit
- def addPutFieldEntity(fakeEntity: (IntTrieSet, Option[Field])): Unit
- def allocationSitePointsToSet(e: Entity): PointsToSet
- def allocationSitePointsToSetsIterator: Iterator[(Entity, PointsToSet)]
- def arrayLoadsIterator: Iterator[(Entity, ArrayType, (ReferenceType) => Boolean)]
- def arrayStoresIterator: Iterator[(IntTrieSet, ArrayType)]
- val callContext: ContextType
- Definition Classes
- PointsToAnalysisState → TACAIBasedAnalysisState
- def callees(ps: PropertyStore): Callees
- def calleesDependee: EOptionP[DeclaredMethod, Callees]
- 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)]
- def getFieldsIterator: Iterator[(Entity, Option[Field], (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
- final def hasTACDependee: Boolean
- Definition Classes
- TACAIBasedAnalysisState
- def includeSharedPointsToSet(e: Entity, pointsToSet: PointsToSet, typeFilter: (ReferenceType) => Boolean = PointsToSetLike.noFilter): Unit
- def includeSharedPointsToSets(e: Entity, pointsToSets: Iterator[PointsToSet], typeFilter: (ReferenceType) => Boolean): Unit
- def putFieldsIterator: Iterator[(IntTrieSet, Option[Field])]
- def setAllocationSitePointsToSet(ds: Entity, pointsToSet: PointsToSet): Unit
- def setCalleesDependee(calleeDependee: EOptionP[DeclaredMethod, Callees]): Unit
- def sharedPointsToSetsIterator: Iterator[(Entity, PointsToSet)]
- final def tac: TACode[TACMethodParameter, DUVar[ValueInformation]]
- Definition Classes
- TACAIBasedAnalysisState
- final def tacDependee: EOptionP[Method, properties.TACAI]
- Definition Classes
- TACAIBasedAnalysisState
- final def updateTACDependee(tacDependee: EOptionP[Method, properties.TACAI]): Unit
- Definition Classes
- TACAIBasedAnalysisState