Package pascal.taie.ir.proginfo

Class FieldRef

java.lang.Object

pascal.taie.ir.proginfo.MemberRef

pascal.taie.ir.proginfo.FieldRef

All Implemented Interfaces:

Serializable

public class FieldRef
extends MemberRef

Represents field references in IR.

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
static FieldRef	get(JClass declaringClass, String name, Type type, boolean isStatic)
Type	getType()
JField	resolve()
JField	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 FieldRef get(JClass declaringClass,
 String name,
 Type type,
 boolean isStatic)

getType

public Type getType()

resolve

public JField resolve()

Specified by:

resolve in class MemberRef

Returns:

the concrete class member pointed by this reference.

resolveNullable

@Nullable
public JField 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