Uses of Class
pascal.taie.language.type.ClassType

Packages that use ClassType

Package	Description
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.ir.exp
pascal.taie.ir.proginfo
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
pascal.taie.language.type	Provides model of Java type system.

Uses of ClassType in pascal.taie.analysis.exception

Methods in pascal.taie.analysis.exception that return types with arguments of type ClassType

Modifier and Type	Method	Description
MultiMap<Stmt,ClassType>	CatchResult.getCaughtExplicitOf(Stmt stmt)
MultiMap<Stmt,ClassType>	CatchResult.getCaughtImplicitOf(Stmt stmt)
MultiMap<Stmt,ClassType>	CatchResult.getCaughtOf(Stmt stmt)
Set<ClassType>	CatchResult.getUncaughtExplicitOf(Stmt stmt)
Set<ClassType>	CatchResult.getUncaughtImplicitOf(Stmt stmt)
Set<ClassType>	CatchResult.getUncaughtOf(Stmt stmt)
Set<ClassType>	ThrowResult.mayThrowExplicitly(Invoke invoke)
Set<ClassType>	ThrowResult.mayThrowExplicitly(Throw throwStmt)
Set<ClassType>	ThrowResult.mayThrowImplicitly(Stmt stmt)

Uses of ClassType in pascal.taie.analysis.graph.cfg

Methods in pascal.taie.analysis.graph.cfg that return types with arguments of type ClassType

Modifier and Type	Method	Description
Set<ClassType>	CFGEdge.getExceptions()	If this edge is an exceptional edge, return the exception types along with this edge, otherwise return an empty set.

Uses of ClassType in pascal.taie.analysis.graph.icfg

Methods in pascal.taie.analysis.graph.icfg that return types with arguments of type ClassType

Modifier and Type	Method	Description
Collection<ClassType>	ReturnEdge.getExceptions()

Uses of ClassType in pascal.taie.ir.exp

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

Modifier and Type	Method	Description
ClassType	ClassLiteral.getType()
ClassType	MethodHandle.getType()
ClassType	MethodType.getType()
ClassType	NewInstance.getType()
ClassType	StringLiteral.getType()

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

Modifier	Constructor	Description
	NewInstance(ClassType type)

Uses of ClassType in pascal.taie.ir.proginfo

Methods in pascal.taie.ir.proginfo that return ClassType

Modifier and Type	Method	Description
ClassType	ExceptionEntry.catchType()	Returns the value of the catchType record component.

Constructors in pascal.taie.ir.proginfo with parameters of type ClassType

Modifier	Constructor	Description
	ExceptionEntry(Stmt start, Stmt end, Catch handler, ClassType catchType)	Creates an instance of a ExceptionEntry record class.

Uses of ClassType in pascal.taie.language.classes

Methods in pascal.taie.language.classes that return ClassType

Modifier and Type	Method	Description
ClassType	JClassBuilder.getClassType()
ClassType	JClass.getType()

Methods in pascal.taie.language.classes that return types with arguments of type ClassType

Modifier and Type	Method	Description
List<ClassType>	JMethod.getExceptions()

Uses of ClassType in pascal.taie.language.type

Methods in pascal.taie.language.type that return ClassType

Modifier and Type	Method	Description
ClassType	TypeSystem.getBoxedType(PrimitiveType type)
ClassType	TypeSystemImpl.getBoxedType(PrimitiveType type)
ClassType	TypeSystem.getClassType(String className)
ClassType	TypeSystem.getClassType(JClassLoader loader, String className)
ClassType	TypeSystemImpl.getClassType(String className)
ClassType	TypeSystemImpl.getClassType(JClassLoader loader, String className)

Methods in pascal.taie.language.type with parameters of type ClassType

Modifier and Type	Method	Description
PrimitiveType	TypeSystem.getUnboxedType(ClassType type)
PrimitiveType	TypeSystemImpl.getUnboxedType(ClassType type)