Uses of Interface
pascal.taie.language.classes.ClassHierarchy

Packages that use ClassHierarchy

Package	Description
pascal.taie
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin.util
pascal.taie.analysis.pta.toolkit
pascal.taie.frontend.cache
pascal.taie.frontend.soot
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
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.natives	Provide model for native methods.
pascal.taie.language.type	Provides model of Java type system.

Uses of ClassHierarchy in pascal.taie

Methods in pascal.taie that return ClassHierarchy

Modifier and Type	Method	Description
ClassHierarchy	World.getClassHierarchy()

Methods in pascal.taie with parameters of type ClassHierarchy

Modifier and Type	Method	Description
protected static NativeModel	AbstractWorldBuilder.getNativeModel(TypeSystem typeSystem, ClassHierarchy hierarchy, Options options)
void	World.setClassHierarchy(ClassHierarchy classHierarchy)

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

Methods in pascal.taie.analysis.pta.core.solver that return ClassHierarchy

Modifier and Type	Method	Description
ClassHierarchy	DefaultSolver.getHierarchy()
ClassHierarchy	Solver.getHierarchy()

Uses of ClassHierarchy in pascal.taie.analysis.pta.plugin.util

Fields in pascal.taie.analysis.pta.plugin.util declared as ClassHierarchy

Modifier and Type	Field	Description
protected final ClassHierarchy	SolverHolder.hierarchy

Uses of ClassHierarchy in pascal.taie.analysis.pta.toolkit

Constructors in pascal.taie.analysis.pta.toolkit with parameters of type ClassHierarchy

Modifier	Constructor	Description
	CollectionMethods(ClassHierarchy hierarchy)

Uses of ClassHierarchy in pascal.taie.frontend.cache

Methods in pascal.taie.frontend.cache with parameters of type ClassHierarchy

Modifier and Type	Method	Description
void	CachedIRBuilder.buildAll(ClassHierarchy hierarchy)

Constructors in pascal.taie.frontend.cache with parameters of type ClassHierarchy

Modifier	Constructor	Description
	CachedIRBuilder(IRBuilder irBuilder, ClassHierarchy hierarchy)

Uses of ClassHierarchy in pascal.taie.frontend.soot

Methods in pascal.taie.frontend.soot with parameters of type ClassHierarchy

Modifier and Type	Method	Description
protected static void	SootWorldBuilder.buildClasses(ClassHierarchy hierarchy, soot.Scene scene)

Uses of ClassHierarchy in pascal.taie.ir

Methods in pascal.taie.ir with parameters of type ClassHierarchy

Modifier and Type	Method	Description
void	IRBuilder.buildAll(ClassHierarchy hierarchy)	Builds IR for all methods in the given hierarchy.

Uses of ClassHierarchy in pascal.taie.language.classes

Classes in pascal.taie.language.classes that implement ClassHierarchy

Modifier and Type	Class	Description
class	ClassHierarchyImpl

Uses of ClassHierarchy in pascal.taie.language.natives

Constructors in pascal.taie.language.natives with parameters of type ClassHierarchy

Modifier	Constructor	Description
	DefaultNativeModel(TypeSystem typeSystem, ClassHierarchy hierarchy, int javaVersion)

Uses of ClassHierarchy in pascal.taie.language.type

Constructors in pascal.taie.language.type with parameters of type ClassHierarchy

Modifier	Constructor	Description
	TypeSystemImpl(ClassHierarchy hierarchy)