Package pascal.taie.ir.exp

Class InstanceFieldAccess

java.lang.Object

pascal.taie.ir.exp.FieldAccess

pascal.taie.ir.exp.InstanceFieldAccess

All Implemented Interfaces:

Serializable, Exp, LValue, RValue

public class InstanceFieldAccess
extends FieldAccess

Representation of instance field access expression, e.g., o.f.

See Also:

• Serialized Form

Field Summary

Fields inherited from class pascal.taie.ir.exp.FieldAccess

fieldRef

Constructor Summary

Constructors

Constructor	Description
InstanceFieldAccess(FieldRef fieldRef, Var base)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
Var	getBase()
Set<RValue>	getUses()
String	toString()

Methods inherited from class pascal.taie.ir.exp.FieldAccess

getFieldRef, getType

Methods inherited from class java.lang.Object

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

Constructor Details

InstanceFieldAccess

public InstanceFieldAccess(FieldRef fieldRef,
 Var base)

Method Details

getBase

public Var getBase()

getUses

public Set<RValue> getUses()

Returns:

a list of expressions which are used by (contained in) this Exp.

accept

public <T> T accept(ExpVisitor<T> visitor)

toString

public String toString()

Overrides:

toString in class Object