Uses of Interface
pascal.taie.util.Indexer

Packages that use Indexer

Package	Description
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.flowgraph
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.
pascal.taie.analysis.pta.core.heap	Provide model for heap objects.
pascal.taie.analysis.pta.pts	Implementation of various points-to sets used in pointer analysis.
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
pascal.taie.util
pascal.taie.util.collection
pascal.taie.util.graph

Uses of Indexer in pascal.taie.analysis.graph.cfg

Classes in pascal.taie.analysis.graph.cfg that implement Indexer

Modifier and Type	Class	Description
final record	CFGNodeIndexer<Node>	Indexer for nodes in a CFG.

Uses of Indexer in pascal.taie.analysis.graph.flowgraph

Classes in pascal.taie.analysis.graph.flowgraph that implement Indexer

Modifier and Type	Class	Description
class	NodeManager
class	ObjectFlowGraph

Uses of Indexer in pascal.taie.analysis.pta

Methods in pascal.taie.analysis.pta that return Indexer

Modifier and Type	Method	Description
Indexer<Obj>	PointerAnalysisResult.getObjectIndexer()
Indexer<Obj>	PointerAnalysisResultImpl.getObjectIndexer()

Constructors in pascal.taie.analysis.pta with parameters of type Indexer

Modifier	Constructor	Description
	PointerAnalysisResultImpl(PropagateTypes propTypes, CSManager csManager, Indexer<Obj> objIndexer, CallGraph<CSCallSite,CSMethod> csCallGraph, PointerFlowGraph pfg)

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

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

Modifier and Type	Method	Description
Indexer<CSMethod>	CSManager.getMethodIndexer()
Indexer<CSMethod>	MapBasedCSManager.getMethodIndexer()
Indexer<CSObj>	CSManager.getObjectIndexer()
Indexer<CSObj>	MapBasedCSManager.getObjectIndexer()

Uses of Indexer in pascal.taie.analysis.pta.core.heap

Subinterfaces of Indexer in pascal.taie.analysis.pta.core.heap

Modifier and Type	Interface	Description
interface	HeapModel	Represents of heap models for heap objects.

Classes in pascal.taie.analysis.pta.core.heap that implement Indexer

Modifier and Type	Class	Description
class	AbstractHeapModel	All heap models should inherit this class, and we can define some uniform behaviors of heap modeling here.
class	AllocationSiteBasedModel

Uses of Indexer in pascal.taie.analysis.pta.pts

Constructors in pascal.taie.analysis.pta.pts with parameters of type Indexer

Modifier	Constructor	Description
	PointsToSetFactory(Indexer<CSObj> objIndexer)

Uses of Indexer in pascal.taie.ir

Subinterfaces of Indexer in pascal.taie.ir

Modifier and Type	Interface	Description
interface	IR	Intermediate representation for method body of non-abstract methods.

Classes in pascal.taie.ir that implement Indexer

Modifier and Type	Class	Description
class	DefaultIR	Default implementation of IR.

Methods in pascal.taie.ir that return Indexer

Modifier and Type	Method	Description
Indexer<Var>	DefaultIR.getVarIndexer()
Indexer<Var>	IR.getVarIndexer()

Uses of Indexer in pascal.taie.language.classes

Subinterfaces of Indexer in pascal.taie.language.classes

Modifier and Type	Interface	Description
interface	ClassHierarchy	Manages the classes and class-related resolution of the program being analyzed.

Classes in pascal.taie.language.classes that implement Indexer

Modifier and Type	Class	Description
class	ClassHierarchyImpl

Uses of Indexer in pascal.taie.util

Classes in pascal.taie.util that implement Indexer

Modifier and Type	Class	Description
class	SimpleIndexer<E>	A simple map and list based implementation of Indexer.

Uses of Indexer in pascal.taie.util.collection

Constructors in pascal.taie.util.collection with parameters of type Indexer

Modifier	Constructor	Description
	HybridBitSet(Indexer<E> indexer, boolean isSparse)
	IndexerBitSet(Indexer<E> indexer, boolean isSparse)
	IndexMap(Indexer<K> indexer, int initialCapacity)

Uses of Indexer in pascal.taie.util.graph

Constructors in pascal.taie.util.graph with parameters of type Indexer

Modifier	Constructor	Description
	DominatorFinder(Graph<N> graph, Indexer<N> indexer, boolean isSparse)	Constructs a dominator finder with a graph and given indexer.