Package pascal.taie.ir.exp

Class ArrayLengthExp

java.lang.Object

pascal.taie.ir.exp.ArrayLengthExp

All Implemented Interfaces:

Serializable, Exp, RValue, UnaryExp

public class ArrayLengthExp
extends Object
implements UnaryExp

Representation of array length expression, e.g., arr.length.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ArrayLengthExp(Var base)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
Var	getBase()
Var	getOperand()
IntType	getType()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.ir.exp.UnaryExp

getUses

Constructor Details

ArrayLengthExp

public ArrayLengthExp(Var base)

Method Details

getBase

public Var getBase()

getOperand

public Var getOperand()

Specified by:

getOperand in interface UnaryExp

getType

public IntType getType()

Specified by:

getType in interface Exp

Specified by:

getType in interface UnaryExp

Returns:

type of this expression.

accept

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

Specified by:

accept in interface Exp

toString

public String toString()

Overrides:

toString in class Object