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

Packages that use Type

Package	Description
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.heap	Provide model for heap objects.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util
pascal.taie.analysis.pta.toolkit
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
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 Type in pascal.taie.analysis.graph.callgraph

Methods in pascal.taie.analysis.graph.callgraph with parameters of type Type

Modifier and Type	Method	Description
static JMethod	CallGraphs.resolveCallee(Type type, Invoke callSite)

Uses of Type in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return Type

Modifier and Type	Method	Description
Type	ArrayIndex.getType()
Type	CSVar.getType()
Type	InstanceField.getType()
Type	Pointer.getType()
Type	StaticField.getType()

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

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

Modifier and Type	Method	Description
Type	ConstantObj.getContainerType()
Type	MergedObj.getContainerType()
Type	MockObj.getContainerType()
Type	NewObj.getContainerType()
abstract Type	Obj.getContainerType()	This method is useful for type sensitivity.
Type	ConstantObj.getType()
Type	MergedObj.getType()
Type	MockObj.getType()
abstract Type	Obj.getType()

Methods in pascal.taie.analysis.pta.core.heap with parameters of type Type

Modifier and Type	Method	Description
Obj	AbstractHeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)
default Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type)
default Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type, boolean isFunctional)
default Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container)
Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)
protected Obj	AbstractHeapModel.getZeroLengthArrayObj(Type type)	Get the mock object for a zero-length array.

Constructors in pascal.taie.analysis.pta.core.heap with parameters of type Type

Modifier	Constructor	Description
	MergedObj(Type type, String name)
	MockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)

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

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

Modifier and Type	Method	Description
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Type type)	Deprecated. Use Solver.addPFGEdge(PointerFlowEdge, Type) instead.
default void	Solver.addPFGEdge(PointerFlowEdge edge, Type type)	Adds a pointer flow edge (with type filer) to the PFG.
boolean	PropagateTypes.isAllowed(Type type)

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

Modifier	Constructor	Description
	TypeFilter(Type type, Solver solver)

Uses of Type in pascal.taie.analysis.pta.plugin.taint

Methods in pascal.taie.analysis.pta.plugin.taint that return Type

Modifier and Type	Method	Description
Type	CallSource.type()	Returns the value of the type record component.
Type	FieldSource.type()	Returns the value of the type record component.
Type	ParamSource.type()	Returns the value of the type record component.
Type	Source.type()
Type	TaintTransfer.type()	Returns the value of the type record component.

Constructors in pascal.taie.analysis.pta.plugin.taint with parameters of type Type

Modifier	Constructor	Description
	CallSource(JMethod method, IndexRef indexRef, Type type)	Creates an instance of a CallSource record class.
	FieldSource(JField field, Type type)	Creates an instance of a FieldSource record class.
	ParamSource(JMethod method, IndexRef indexRef, Type type)	Creates an instance of a ParamSource record class.
	TaintTransfer(JMethod method, IndexRef from, IndexRef to, Type type)	Creates an instance of a TaintTransfer record class.

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

Methods in pascal.taie.analysis.pta.plugin.util that return Type

Modifier and Type	Method	Description
static Type	CSObjs.toType(CSObj csObj)	Converts a CSObj of class to corresponding type.

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

Methods in pascal.taie.analysis.pta.toolkit that return types with arguments of type Type

Modifier and Type	Method	Description
Set<Type>	PointerAnalysisResultEx.getObjectTypes()
Set<Type>	PointerAnalysisResultExImpl.getObjectTypes()

Methods in pascal.taie.analysis.pta.toolkit with parameters of type Type

Modifier and Type	Method	Description
Set<Obj>	PointerAnalysisResultEx.getObjectsOf(Type type)
Set<Obj>	PointerAnalysisResultExImpl.getObjectsOf(Type type)

Uses of Type in pascal.taie.ir

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

Modifier and Type	Method	Description
Var	IRBuildHelper.newTempVar(Type type)

Uses of Type in pascal.taie.ir.exp

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

Modifier and Type	Method	Description
Type	CastExp.getCastType()
Type	MethodType.getReturnType()
Type	ArrayAccess.getType()
Type	CastExp.getType()
Type	Exp.getType()
Type	FieldAccess.getType()
Type	InvokeDynamic.getType()
Type	InvokeExp.getType()
Type	Var.getType()
Type	ClassLiteral.getTypeValue()

Methods in pascal.taie.ir.exp that return types with arguments of type Type

Modifier and Type	Method	Description
List<Type>	MethodType.getParamTypes()

Methods in pascal.taie.ir.exp with parameters of type Type

Modifier and Type	Method	Description
static ClassLiteral	ClassLiteral.get(Type value)
static MethodType	MethodType.get(List<Type> paramTypes, Type returnType)

Method parameters in pascal.taie.ir.exp with type arguments of type Type

Modifier and Type	Method	Description
static MethodType	MethodType.get(List<Type> paramTypes, Type returnType)

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

Modifier	Constructor	Description
	CastExp(Var value, Type castType)
	Var(JMethod method, String name, Type type, int index)
	Var(JMethod method, String name, Type type, int index, Literal constValue)

Uses of Type in pascal.taie.ir.proginfo

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

Modifier and Type	Method	Description
Type	MethodRef.getReturnType()
Type	FieldRef.getType()

Methods in pascal.taie.ir.proginfo that return types with arguments of type Type

Modifier and Type	Method	Description
List<Type>	MethodRef.getParameterTypes()

Methods in pascal.taie.ir.proginfo with parameters of type Type

Modifier and Type	Method	Description
static FieldRef	FieldRef.get(JClass declaringClass, String name, Type type, boolean isStatic)
static MethodRef	MethodRef.get(JClass declaringClass, String name, List<Type> parameterTypes, Type returnType, boolean isStatic)

Method parameters in pascal.taie.ir.proginfo with type arguments of type Type

Modifier and Type	Method	Description
static MethodRef	MethodRef.get(JClass declaringClass, String name, List<Type> parameterTypes, Type returnType, boolean isStatic)

Uses of Type in pascal.taie.language.classes

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

Modifier and Type	Method	Description
Type	JMethod.getParamType(int i)
Type	JMethod.getReturnType()
Type	JField.getType()

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

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

Methods in pascal.taie.language.classes with parameters of type Type

Modifier and Type	Method	Description
void	JClass.addPhantomField(String fieldName, Type fieldType, JField field)
JMethod	ClassHierarchy.dispatch(Type receiverType, MethodRef methodRef)	Dispatches a method reference on a receiver type.
JMethod	ClassHierarchyImpl.dispatch(Type receiverType, MethodRef methodRef)
static Subsignature	Subsignature.get(String name, List<Type> parameterTypes, Type returnType)
JField	JClass.getDeclaredField(String fieldName, Type fieldType)	Attempts to retrieve the field with given name and type.
static String	StringReps.getFieldSignature(JClass declaringClass, String fieldName, Type fieldType)
static String	StringReps.getMethodSignature(JClass declaringClass, String methodName, List<Type> parameterTypes, Type returnType)
JField	JClass.getPhantomField(String fieldName, Type fieldType)
static String	StringReps.toDescriptor(List<Type> parameterTypes, Type returnType)
static String	StringReps.toSubsignature(String name, List<Type> parameterTypes, Type returnType)

Method parameters in pascal.taie.language.classes with type arguments of type Type

Modifier and Type	Method	Description
static Subsignature	Subsignature.get(String name, List<Type> parameterTypes, Type returnType)
static String	StringReps.getMethodSignature(JClass declaringClass, String methodName, List<Type> parameterTypes, Type returnType)
static String	StringReps.toDescriptor(List<Type> parameterTypes, Type returnType)
static String	StringReps.toSubsignature(String name, List<Type> parameterTypes, Type returnType)

Constructors in pascal.taie.language.classes with parameters of type Type

Modifier	Constructor	Description
	JField(JClass declaringClass, String name, Set<Modifier> modifiers, Type type, ReferenceTypeGSignature gSignature, AnnotationHolder annotationHolder)
	JMethod(JClass declaringClass, String name, Set<Modifier> modifiers, List<Type> paramTypes, Type returnType, List<ClassType> exceptions, MethodGSignature gSignature, AnnotationHolder annotationHolder, List<AnnotationHolder> paramAnnotations, List<String> paramNames, Object methodSource)

Constructor parameters in pascal.taie.language.classes with type arguments of type Type

Modifier	Constructor	Description
	JMethod(JClass declaringClass, String name, Set<Modifier> modifiers, List<Type> paramTypes, Type returnType, List<ClassType> exceptions, MethodGSignature gSignature, AnnotationHolder annotationHolder, List<AnnotationHolder> paramAnnotations, List<String> paramNames, Object methodSource)

Uses of Type in pascal.taie.language.type

Subinterfaces of Type in pascal.taie.language.type

Modifier and Type	Interface	Description
interface	PrimitiveType
interface	ReferenceType
interface	ValueType

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

Modifier and Type	Class	Description
final record	ArrayType
enum	BooleanType
enum	BottomType	This type means that the expression, e.g., a variable, is untyped (i.e., has no type).
enum	ByteType
enum	CharType
class	ClassType
enum	DoubleType
enum	FloatType
enum	IntType
enum	LongType
enum	NullType
enum	ShortType
enum	VoidType

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

Modifier and Type	Method	Description
Type	ArrayType.baseType()	Returns the value of the baseType record component.
Type	ArrayType.elementType()	Returns the value of the elementType record component.
Type	TypeSystem.getType(String typeName)
Type	TypeSystem.getType(JClassLoader loader, String typeName)
Type	TypeSystemImpl.getType(String typeName)
Type	TypeSystemImpl.getType(JClassLoader loader, String typeName)

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

Modifier and Type	Method	Description
ArrayType	TypeSystem.getArrayType(Type baseType, int dimensions)
ArrayType	TypeSystemImpl.getArrayType(Type baseType, int dim)
boolean	TypeSystem.isSubtype(Type supertype, Type subtype)
boolean	TypeSystemImpl.isSubtype(Type supertype, Type subtype)

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

Modifier	Constructor	Description
	ArrayType(Type baseType, int dimensions, Type elementType)	Creates an instance of a ArrayType record class.