Uses of Interface
pascal.taie.language.type.Type
Package
Description
Provides the classes necessary to build and represent a call graph.
Provides the classes to represent and manage context-sensitive elements
used in pointer analysis, including context-sensitive pointers, objects,
call sites, and methods.
Provide model for heap objects.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
Provide classes related to intermediate representation of method bodies.
Provides functionality related to management of classes (class loading,
class members, class hierarchy, etc.) in the program being analyzed.
Provides model of Java type system.
-
Uses of Type in pascal.taie.analysis.graph.callgraph
Modifier and TypeMethodDescriptionstatic JMethod
CallGraphs.resolveCallee
(Type type, Invoke callSite) -
Uses of Type in pascal.taie.analysis.pta.core.cs.element
-
Uses of Type in pascal.taie.analysis.pta.core.heap
Modifier and TypeMethodDescriptionConstantObj.getContainerType()
MergedObj.getContainerType()
MockObj.getContainerType()
NewObj.getContainerType()
abstract Type
Obj.getContainerType()
This method is useful for type sensitivity.ConstantObj.getType()
MergedObj.getType()
MockObj.getType()
abstract Type
Obj.getType()
Modifier and TypeMethodDescriptionAbstractHeapModel.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) HeapModel.getMockObj
(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional) -
Uses of Type in pascal.taie.analysis.pta.core.solver
Modifier and TypeMethodDescriptiondefault void
Solver.addPFGEdge
(Pointer source, Pointer target, FlowKind kind, Type type) Deprecated.default void
Solver.addPFGEdge
(PointerFlowEdge edge, Type type) Adds a pointer flow edge (with type filer) to the PFG.boolean
-
Uses of Type in pascal.taie.analysis.pta.plugin.util
-
Uses of Type in pascal.taie.analysis.pta.toolkit
Modifier and TypeMethodDescriptionPointerAnalysisResultEx.getObjectTypes()
PointerAnalysisResultExImpl.getObjectTypes()
Modifier and TypeMethodDescriptionPointerAnalysisResultEx.getObjectsOf
(Type type) PointerAnalysisResultExImpl.getObjectsOf
(Type type) -
Uses of Type in pascal.taie.ir
-
Uses of Type in pascal.taie.ir.exp
Modifier and TypeMethodDescriptionCastExp.getCastType()
MethodType.getReturnType()
ArrayAccess.getType()
CastExp.getType()
Exp.getType()
FieldAccess.getType()
InvokeDynamic.getType()
InvokeExp.getType()
Var.getType()
ClassLiteral.getTypeValue()
-
Uses of Type in pascal.taie.ir.proginfo
-
Uses of Type in pascal.taie.language.classes
Modifier and TypeMethodDescriptionJMethod.getParamType
(int i) JMethod.getReturnType()
JField.getType()
Modifier and TypeMethodDescriptionvoid
JClass.addPhantomField
(String fieldName, Type fieldType, JField field) Dispatches a method reference on a receiver type.static Subsignature
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) 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) Modifier and TypeMethodDescriptionstatic Subsignature
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) ModifierConstructorDescriptionJField
(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) ModifierConstructorDescriptionJMethod
(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
Modifier and TypeInterfaceDescriptioninterface
interface
interface
Modifier and TypeClassDescriptionfinal record
enum
enum
This type means that the expression, e.g., a variable, is untyped (i.e., has no type).enum
enum
class
enum
enum
enum
enum
enum
enum
enum
Modifier and TypeMethodDescriptionArrayType.baseType()
Returns the value of thebaseType
record component.ArrayType.elementType()
Returns the value of theelementType
record component.TypeSystem.getType
(JClassLoader loader, String typeName) TypeSystemImpl.getType
(JClassLoader loader, String typeName) Modifier and TypeMethodDescriptionTypeSystem.getArrayType
(Type baseType, int dimensions) TypeSystemImpl.getArrayType
(Type baseType, int dim) boolean
boolean
Solver.addPFGEdge(PointerFlowEdge, Type)
instead.