Uses of Interface
pascal.taie.util.Indexable

Packages that use Indexable

Package	Description
pascal.taie.analysis.graph.flowgraph
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.ir.exp
pascal.taie.ir.stmt
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.collection

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

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

Modifier and Type	Class	Description
class	ArrayIndexNode
class	InstanceFieldNode
class	InstanceNode
class	Node	Nodes in object flow graph.
class	StaticFieldNode
class	VarNode

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

Subinterfaces of Indexable in pascal.taie.analysis.pta.core.cs.element

Modifier and Type	Interface	Description
interface	Pointer	Represents all pointers (nodes) in context-sensitive pointer analysis (pointer flow graph).

Classes in pascal.taie.analysis.pta.core.cs.element that implement Indexable

Modifier and Type	Class	Description
class	ArrayIndex	Represents array index pointers.
class	CSObj	Represents context-sensitive objects.
class	CSVar	Represents context-sensitive variables.
class	InstanceField	Represents instance field pointers.
class	StaticField	Represents static field pointers.

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

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

Modifier and Type	Class	Description
class	ConstantObj	Objects that represent constants.
class	MergedObj	Represents a set of merged objects.
class	MockObj	Represents the objects whose allocation sites are not explicitly written in the program.
class	NewObj	Objects that are created by new statements.
class	Obj	Represents of abstract objects in pointer analysis.

Uses of Indexable in pascal.taie.ir.exp

Classes in pascal.taie.ir.exp that implement Indexable

Modifier and Type	Class	Description
class	Var	Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.

Uses of Indexable in pascal.taie.ir.stmt

Subinterfaces of Indexable in pascal.taie.ir.stmt

Modifier and Type	Interface	Description
interface	Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt that implement Indexable

Modifier and Type	Class	Description
class	AssignLiteral	Representation of statement that assigns literals, e.g., a = 10.
class	AssignStmt<L extends LValue,R extends RValue>	Representation of assign statements.
class	Binary	Representation of assign statement for binary expression, e.g., a = b + c.
class	Cast	Representation of cast statement, e.g., a = (T) b.
class	Catch	Representation of catch exception, e.g., catch (e).
class	Copy	Representation of copy statement, e.g., a = b.
class	DefinitionStmt<L extends LValue,R extends RValue>	Representation of all definition statements, i.e., exp1 = exp2.
class	FieldStmt<L extends LValue,R extends RValue>	Load/Store field statements.
class	Goto	Representation of goto statement, e.g., goto L.
class	If	Representation of if statement, e.g., if a == b goto S;
class	InstanceOf	Representation of instanceof statement, e.g., a = (b instanceof T).
class	Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
class	JumpStmt
class	LoadArray	Representation of load array statement, e.g., x = a[..].
class	LoadField	Representation of following load field statements: load instance field: x = o.f load static field: x = T.f
class	LookupSwitch
class	Monitor	Representation of monitorenter/monitorexit instruction.
class	New	Representation of following kinds of new statements: new instance: o = new T new array: o = new T[..] new multi-array: o = new T[..][..]
class	Nop	Representation of nop statement which does nothing.
class	Return	Representation of return statement, e.g., return; or return x.
class	StoreArray	Representation of store array statement, e.g., a[..] = x.
class	StoreField	Representation of following store field statements: store instance field: o.f = x store static field: T.f = x
class	SwitchStmt	Representation of switch statement, e.g., switch (v) { case 1: ...
class	TableSwitch
class	Throw	Representation of throw exception statement, e.g., throw e.
class	Unary	Representation of following kinds of unary assign statements: negation: x = -y array length: x = arr.length

Uses of Indexable in pascal.taie.language.classes

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

Modifier and Type	Class	Description
class	JClass	Represents classes in the program.

Uses of Indexable in pascal.taie.util.collection

Classes in pascal.taie.util.collection with type parameters of type Indexable

Modifier and Type	Class	Description
class	HybridIndexableSet<E extends Indexable>	Hybrid set that uses indexable set for large set.
class	IndexableSet<E extends Indexable>	An efficient set implementation for Indexable objects.