Uses of Interface
pascal.taie.ir.exp.RValue

Packages that use RValue

Package	Description
pascal.taie.ir.exp
pascal.taie.ir.stmt

Uses of RValue in pascal.taie.ir.exp

Subinterfaces of RValue in pascal.taie.ir.exp

Modifier and Type	Interface	Description
interface	BinaryExp	Representation of binary expression.
interface	FloatingPointLiteral
interface	IntegerLiteral
interface	Literal	Representation of literals.
interface	NewExp	Representation of new expressions.
interface	NumberLiteral
interface	ReferenceLiteral	Literal of reference type.
interface	UnaryExp	Representation of unary expression.

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

Modifier and Type	Class	Description
class	ArithmeticExp	Representation of arithmetic expression, e.g., a + b.
class	ArrayAccess	Representation of array access expression, e.g., a[i].
class	ArrayLengthExp	Representation of array length expression, e.g., arr.length.
class	BitwiseExp	Representation of bitwise expression, e.g., a | b.
class	CastExp	Representation of cast expression, e.g., (T) o.
class	ClassLiteral
class	ComparisonExp	Representation of comparison expression, e.g., cmp.
class	ConditionExp	Representation of condition expression, e.g., a == b.
class	DoubleLiteral
class	FieldAccess	Representation of field access expressions.
class	FloatLiteral
class	InstanceFieldAccess	Representation of instance field access expression, e.g., o.f.
class	InstanceOfExp	Representation of instanceof expression, e.g., o instanceof T.
class	IntLiteral	Representation of int literals.
class	InvokeDynamic	Representation of invokedynamic instructions.
class	InvokeExp	Representation of method invocation expression.
class	InvokeInstanceExp	Representation of instance invocation (virtual, interface, and special) expression.
class	InvokeInterface	Representation of invokeinterface expression, e.g., o.m(...).
class	InvokeSpecial	Representation of invokespecial expression, e.g., super.m(...).
class	InvokeStatic	Representation of invokestatic expression, e.g., T.m(...).
class	InvokeVirtual	Representation of invokevirtual expression, e.g., o.m(...).
class	LongLiteral	Representation of long literals.
class	MethodHandle	Representation of java.lang.invoke.MethodHandle instances.
class	MethodType	Representation of java.lang.invoke.MethodType instances.
class	NegExp	Representation of negation expression, e.g., -o;
class	NewArray	Representation of new array expression, e.g., new T[..].
class	NewInstance	Representation of new instance expression, e.g., new T.
class	NewMultiArray	Representation of new multi-array expression, e.g., new T[..][..][..].
enum	NullLiteral
class	ShiftExp	Representation of shift expression, e.g., a >> b.
class	StaticFieldAccess	Representation of static field access expression, e.g., T.f.
class	StringLiteral
class	Var	Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.

Methods in pascal.taie.ir.exp that return types with arguments of type RValue

Modifier and Type	Method	Description
Set<RValue>	ArrayAccess.getUses()
Set<RValue>	CastExp.getUses()
default Set<RValue>	Exp.getUses()
Set<RValue>	InstanceFieldAccess.getUses()
Set<RValue>	InstanceOfExp.getUses()
Set<RValue>	InvokeExp.getUses()
Set<RValue>	InvokeInstanceExp.getUses()
Set<RValue>	NewArray.getUses()
Set<RValue>	NewMultiArray.getUses()
default Set<RValue>	UnaryExp.getUses()

Uses of RValue in pascal.taie.ir.stmt

Classes in pascal.taie.ir.stmt with type parameters of type RValue

Modifier and Type	Class	Description
class	AssignStmt<L extends LValue,R extends RValue>	Representation of assign statements.
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.

Methods in pascal.taie.ir.stmt that return types with arguments of type RValue

Modifier and Type	Method	Description
Set<RValue>	AssignStmt.getUses()
Set<RValue>	If.getUses()
Set<RValue>	Invoke.getUses()
Set<RValue>	Monitor.getUses()
Set<RValue>	Return.getUses()
Set<RValue>	Stmt.getUses()
Set<RValue>	SwitchStmt.getUses()
Set<RValue>	Throw.getUses()