Package pascal.taie.ir.exp

Class ArrayAccess

java.lang.Object

pascal.taie.ir.exp.ArrayAccess

All Implemented Interfaces:

Serializable, Exp, LValue, RValue

public class ArrayAccess
extends Object
implements LValue, RValue

Representation of array access expression, e.g., a[i].

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ArrayAccess(Var base, Var index)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

ArrayAccess

public ArrayAccess(Var base,
 Var index)

Method Details

getBase

public Var getBase()

getIndex

public Var getIndex()

getType

public Type getType()

Specified by:

getType in interface Exp

Returns:

type of this expression.

getUses

public Set<RValue> getUses()

Specified by:

getUses in interface Exp

Returns:

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

accept

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

Specified by:

accept in interface Exp

toString

public String toString()

Overrides:

toString in class Object