Package pascal.taie.ir.proginfo

Class MethodRef

java.lang.Object

pascal.taie.ir.proginfo.MemberRef

pascal.taie.ir.proginfo.MethodRef

All Implemented Interfaces:

Serializable

public class MethodRef
extends MemberRef

Represents method references in IR.

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
static MethodRef	get(JClass declaringClass, String name, List<Type> parameterTypes, Type returnType, boolean isStatic)
List<Type>	getParameterTypes()
Type	getReturnType()
Subsignature	getSubsignature()
boolean	isPolymorphicSignature()
JMethod	resolve()
JMethod	resolveNullable()
String	toString()

Methods inherited from class pascal.taie.ir.proginfo.MemberRef

getDeclaringClass, getName, isStatic

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

get

public static MethodRef get(JClass declaringClass,
 String name,
 List<Type> parameterTypes,
 Type returnType,
 boolean isStatic)

getParameterTypes

public List<Type> getParameterTypes()

getReturnType

public Type getReturnType()

getSubsignature

public Subsignature getSubsignature()

Returns:

the subsignature of the method reference.

isPolymorphicSignature

public boolean isPolymorphicSignature()

Returns:

true if this is a reference to polymorphic signature method, otherwise false. See JLS (11 Ed.), 15.12.3 for the definition of polymorphic signature method.

resolve

public JMethod resolve()

Specified by:

resolve in class MemberRef

Returns:

the concrete class member pointed by this reference.

resolveNullable

@Nullable
public JMethod resolveNullable()

Specified by:

resolveNullable in class MemberRef

Returns:

the concrete class member pointed by this reference, or null if the member cannot be resolved.

toString

public String toString()

Overrides:

toString in class Object