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

Packages that use Exp

Package	Description
pascal.taie.analysis.dataflow.analysis.availexp
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.ir.exp

Uses of Exp in pascal.taie.analysis.dataflow.analysis.availexp

Methods in pascal.taie.analysis.dataflow.analysis.availexp that return Exp

Modifier and Type	Method	Description
Exp	ExpWrapper.get()

Uses of Exp in pascal.taie.analysis.dataflow.analysis.constprop

Methods in pascal.taie.analysis.dataflow.analysis.constprop with parameters of type Exp

Modifier and Type	Method	Description
static Value	Evaluator.evaluate(Exp exp, CPFact in)	Evaluates the Value of given expression.

Uses of Exp in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver with parameters of type Exp

Modifier and Type	Method	Description
boolean	PropagateTypes.isAllowed(Exp exp)

Uses of Exp in pascal.taie.ir.exp

Subinterfaces of Exp 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	LValue	Marker interface for all left-hand-side value.
interface	NewExp	Representation of new expressions.
interface	NumberLiteral
interface	ReferenceLiteral	Literal of reference type.
interface	RValue	Marker interface for all right-hand-side value.
interface	UnaryExp	Representation of unary expression.

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

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 with parameters of type Exp

Modifier and Type	Method	Description
static boolean	Exps.holdsInt(Exp exp)
static boolean	Exps.holdsInteger(Exp exp)
static boolean	Exps.holdsLong(Exp exp)
static boolean	Exps.holdsPrimitive(Exp exp)
static boolean	Exps.holdsReference(Exp exp)
default T	ExpVisitor.visitDefault(Exp exp)