Uses of Class
pascal.taie.analysis.pta.core.cs.element.ArrayIndex

Packages that use ArrayIndex

Package	Description
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.

Uses of ArrayIndex in pascal.taie.analysis.pta

Methods in pascal.taie.analysis.pta that return types with arguments of type ArrayIndex

Modifier and Type	Method	Description
Collection<ArrayIndex>	PointerAnalysisResult.getArrayIndexes()
Collection<ArrayIndex>	PointerAnalysisResultImpl.getArrayIndexes()

Uses of ArrayIndex in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return ArrayIndex

Modifier and Type	Method	Description
ArrayIndex	CSManager.getArrayIndex(CSObj array)
ArrayIndex	MapBasedCSManager.getArrayIndex(CSObj array)

Methods in pascal.taie.analysis.pta.core.cs.element that return types with arguments of type ArrayIndex

Modifier and Type	Method	Description
Collection<ArrayIndex>	CSManager.getArrayIndexes()
Collection<ArrayIndex>	MapBasedCSManager.getArrayIndexes()