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

Packages that use TypeSystem

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.language.natives	Provide model for native methods.
pascal.taie.language.type	Provides model of Java type system.

Uses of TypeSystem in pascal.taie

Methods in pascal.taie that return TypeSystem

Modifier and Type	Method	Description
TypeSystem	World.getTypeSystem()

Methods in pascal.taie with parameters of type TypeSystem

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

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

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

Modifier and Type	Method	Description
TypeSystem	DefaultSolver.getTypeSystem()
TypeSystem	Solver.getTypeSystem()

Constructors in pascal.taie.analysis.pta.core.solver with parameters of type TypeSystem

Modifier	Constructor	Description
	PropagateTypes(List<String> types, TypeSystem typeSystem)	Elements of types can be: "reference": allow reference types "null" (or null): allow null type various primitive types: allow the corresponding primitive types

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

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

Modifier and Type	Field	Description
protected final TypeSystem	SolverHolder.typeSystem

Uses of TypeSystem in pascal.taie.language.natives

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

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

Uses of TypeSystem in pascal.taie.language.type

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

Modifier and Type	Class	Description
class	TypeSystemImpl