Uses of Interface
pascal.taie.language.type.ReferenceType

Packages that use ReferenceType

Package	Description
pascal.taie.analysis.pta.core.heap	Provide model for heap objects.
pascal.taie.ir.exp
pascal.taie.language.type	Provides model of Java type system.

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

Methods in pascal.taie.analysis.pta.core.heap that return ReferenceType

Modifier and Type	Method	Description
ReferenceType	NewObj.getType()

Uses of ReferenceType in pascal.taie.ir.exp

Methods in pascal.taie.ir.exp that return ReferenceType

Modifier and Type	Method	Description
ReferenceType	InstanceOfExp.getCheckedType()
ReferenceType	NewExp.getType()
ReferenceType	ReferenceLiteral.getType()

Constructors in pascal.taie.ir.exp with parameters of type ReferenceType

Modifier	Constructor	Description
	InstanceOfExp(Var value, ReferenceType checkedType)

Uses of ReferenceType in pascal.taie.language.type

Classes in pascal.taie.language.type that implement ReferenceType

Modifier and Type	Class	Description
final record	ArrayType
class	ClassType
enum	NullType