Package pascal.taie.ir.exp

package pascal.taie.ir.exp

Related Packages

Package	Description
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.ir.proginfo
pascal.taie.ir.stmt

Class	Description
ArithmeticExp	Representation of arithmetic expression, e.g., a + b.
ArithmeticExp.Op
ArrayAccess	Representation of array access expression, e.g., a[i].
ArrayLengthExp	Representation of array length expression, e.g., arr.length.
BinaryExp	Representation of binary expression.
BinaryExp.Op	Representation of binary operators.
BitwiseExp	Representation of bitwise expression, e.g., a | b.
BitwiseExp.Op
CastExp	Representation of cast expression, e.g., (T) o.
ClassLiteral
ComparisonExp	Representation of comparison expression, e.g., cmp.
ComparisonExp.Op
ConditionExp	Representation of condition expression, e.g., a == b.
ConditionExp.Op
DoubleLiteral
Exp	Representation of expressions in Tai-e IR.
Exps	Provides static utility methods for Exp.
ExpVisitor<T>	Exp visitor which may return a result after the visit.
FieldAccess	Representation of field access expressions.
FloatingPointLiteral
FloatLiteral
InstanceFieldAccess	Representation of instance field access expression, e.g., o.f.
InstanceOfExp	Representation of instanceof expression, e.g., o instanceof T.
IntegerLiteral
IntLiteral	Representation of int literals.
InvokeDynamic	Representation of invokedynamic instructions.
InvokeExp	Representation of method invocation expression.
InvokeInstanceExp	Representation of instance invocation (virtual, interface, and special) expression.
InvokeInterface	Representation of invokeinterface expression, e.g., o.m(...).
InvokeSpecial	Representation of invokespecial expression, e.g., super.m(...).
InvokeStatic	Representation of invokestatic expression, e.g., T.m(...).
InvokeVirtual	Representation of invokevirtual expression, e.g., o.m(...).
Literal	Representation of literals.
LongLiteral	Representation of long literals.
LValue	Marker interface for all left-hand-side value.
MethodHandle	Representation of java.lang.invoke.MethodHandle instances.
MethodHandle.Kind
MethodType	Representation of java.lang.invoke.MethodType instances.
NegExp	Representation of negation expression, e.g., -o;
NewArray	Representation of new array expression, e.g., new T[..].
NewExp	Representation of new expressions.
NewInstance	Representation of new instance expression, e.g., new T.
NewMultiArray	Representation of new multi-array expression, e.g., new T[..][..][..].
NullLiteral
NumberLiteral
ReferenceLiteral	Literal of reference type.
RValue	Marker interface for all right-hand-side value.
ShiftExp	Representation of shift expression, e.g., a >> b.
ShiftExp.Op
StaticFieldAccess	Representation of static field access expression, e.g., T.f.
StringLiteral
UnaryExp	Representation of unary expression.
Var	Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.