Package pascal.taie.ir.proginfo

Class MemberRef

java.lang.Object

pascal.taie.ir.proginfo.MemberRef

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

FieldRef, MethodRef

public abstract class MemberRef
extends Object
implements Serializable

Represents references to class members in IR.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
MemberRef(JClass declaringClass, String name, boolean isStatic)

Method Summary

Modifier and Type	Method	Description
JClass	getDeclaringClass()
String	getName()
boolean	isStatic()
abstract ClassMember	resolve()
abstract ClassMember	resolveNullable()

Methods inherited from class java.lang.Object

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

Constructor Details

MemberRef

public MemberRef(JClass declaringClass,
 String name,
 boolean isStatic)

Method Details

getDeclaringClass

public JClass getDeclaringClass()

Returns:

the declaring class of the reference.

getName

public String getName()

isStatic

public boolean isStatic()

resolve

public abstract ClassMember resolve()

Returns:

the concrete class member pointed by this reference.

Throws:

ResolutionFailedException - if the class member cannot be resolved.

resolveNullable

@Nullable
public abstract ClassMember resolveNullable()

Returns:

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