Package sootup.core.jimple.common.ref

Class JArrayRef

java.lang.Object

sootup.core.jimple.common.ref.JArrayRef

All Implemented Interfaces:

EquivTo, LValue, Value, ConcreteRef, Ref, Acceptor<RefVisitor>

public final class JArrayRef
extends Object
implements ConcreteRef, LValue

Constructor Summary

Constructors

Constructor	Description
JArrayRef(@NonNull Local base, @NonNull Immediate index)

Method Summary

Modifier and Type	Method	Description
<V extends RefVisitor> V	accept(@NonNull V v)	Called when this object is visited.
int	equivHashCode()	Returns a hash code for this object, consistent with structural equality.
boolean	equivTo(Object o, @NonNull JimpleComparator comparator)	Returns true if this object is equivalent to o according to the given comparator.
@NonNull Local	getBase()
@NonNull Immediate	getIndex()
@NonNull Type	getType()	Returns the Soot type of this Value.
@NonNull Stream<Value>	getUses()	Returns a List of Locals,FieldRefs,ArrayRefs which are used by (ie contained within) this Expression or Reference.
String	toString()
void	toString(@NonNull StmtPrinter up)
@NonNull JArrayRef	withBase(@NonNull Local base)
@NonNull JArrayRef	withIndex(@NonNull Immediate index)

Methods inherited from class java.lang.Object

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

Methods inherited from interface sootup.core.jimple.basic.EquivTo

equivTo

Methods inherited from interface sootup.core.jimple.basic.Value

accept

Constructor Details

JArrayRef

public JArrayRef(@NonNull Local base,
 @NonNull Immediate index)

Method Details

equivTo

public boolean equivTo(Object o,
 @NonNull JimpleComparator comparator)

Description copied from interface: EquivTo

Returns true if this object is equivalent to o according to the given comparator.

Specified by:

equivTo in interface EquivTo

equivHashCode

public int equivHashCode()

Returns a hash code for this object, consistent with structural equality.

Specified by:

equivHashCode in interface EquivTo

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(@NonNull StmtPrinter up)

Specified by:

toString in interface Value

getBase

public @NonNull Local getBase()

getIndex

public @NonNull Immediate getIndex()

getUses

public @NonNull Stream<Value> getUses()

Description copied from interface: Value

Returns a List of Locals,FieldRefs,ArrayRefs which are used by (ie contained within) this Expression or Reference.

Specified by:

getUses in interface Value

Returns:

getType

public @NonNull Type getType()

Description copied from interface: Value

Returns the Soot type of this Value.

Specified by:

getType in interface Value

accept

public <V extends RefVisitor> V accept(@NonNull V v)

Description copied from interface: Acceptor

Called when this object is visited.

Specified by:

accept in interface Acceptor<RefVisitor>

withBase

public @NonNull JArrayRef withBase(@NonNull Local base)

withIndex

public @NonNull JArrayRef withIndex(@NonNull Immediate index)