Uses of Class
pascal.taie.ir.proginfo.MethodRef

Packages that use MethodRef

Package	Description
pascal.taie.ir.exp
pascal.taie.ir.proginfo
pascal.taie.ir.stmt
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.

Uses of MethodRef in pascal.taie.ir.exp

Fields in pascal.taie.ir.exp declared as MethodRef

Modifier and Type	Field	Description
protected final MethodRef	InvokeExp.methodRef	The method reference at the invocation.

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

Modifier and Type	Method	Description
MethodRef	InvokeDynamic.getBootstrapMethodRef()
MethodRef	InvokeDynamic.getMethodRef()
MethodRef	InvokeExp.getMethodRef()
MethodRef	MethodHandle.getMethodRef()

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

Modifier	Constructor	Description
	InvokeDynamic(MethodRef bootstrapMethodRef, String methodName, MethodType methodType, List<Literal> bootstrapArgs, List<Var> args)
protected	InvokeExp(MethodRef methodRef, List<Var> args)
protected	InvokeInstanceExp(MethodRef methodRef, Var base, List<Var> args)
	InvokeInterface(MethodRef methodRef, Var base, List<Var> args)
	InvokeSpecial(MethodRef methodRef, Var base, List<Var> args)
	InvokeStatic(MethodRef methodRef, List<Var> args)
	InvokeVirtual(MethodRef methodRef, Var base, List<Var> args)

Uses of MethodRef in pascal.taie.ir.proginfo

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

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

Uses of MethodRef in pascal.taie.ir.stmt

Methods in pascal.taie.ir.stmt that return MethodRef

Modifier and Type	Method	Description
MethodRef	Invoke.getMethodRef()

Uses of MethodRef in pascal.taie.language.classes

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

Modifier and Type	Method	Description
MethodRef	JMethod.getRef()

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

Modifier and Type	Method	Description
JMethod	ClassHierarchy.dispatch(JClass receiverClass, MethodRef methodRef)	Dispatches a method reference on a receiver class.
JMethod	ClassHierarchy.dispatch(Type receiverType, MethodRef methodRef)	Dispatches a method reference on a receiver type.
JMethod	ClassHierarchyImpl.dispatch(JClass receiverClass, MethodRef methodRef)
JMethod	ClassHierarchyImpl.dispatch(Type receiverType, MethodRef methodRef)
static String	StringReps.getDescriptorOf(MethodRef methodRef)
static String	StringReps.getSubsignatureOf(MethodRef methodRef)
JMethod	ClassHierarchy.resolveMethod(MethodRef methodRef)	Resolves a method reference.
JMethod	ClassHierarchyImpl.resolveMethod(MethodRef methodRef)