Uses of Class
pascal.taie.ir.stmt.DefinitionStmt

Packages that use DefinitionStmt

Package	Description
pascal.taie.ir.stmt

Uses of DefinitionStmt in pascal.taie.ir.stmt

Subclasses of DefinitionStmt in pascal.taie.ir.stmt

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	Copy	Representation of copy statement, e.g., a = b.
class	FieldStmt<L extends LValue,R extends RValue>	Load/Store field statements.
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	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	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	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	Unary	Representation of following kinds of unary assign statements: negation: x = -y array length: x = arr.length