Package sootup.core.jimple.common.expr

Class JNewArrayExpr

java.lang.Object

sootup.core.jimple.common.expr.JNewArrayExpr

All Implemented Interfaces:

EquivTo, Expr, Value, JimpleIR, Acceptor<ExprVisitor>

public final class JNewArrayExpr
extends Object
implements Expr

An expression that creates a new array of a certain type and a certain size.

Constructor Summary

Constructors

Constructor	Description
JNewArrayExpr(@NonNull Type baseType, @NonNull Immediate size, @NonNull IdentifierFactory identifierFactory)

Method Summary

Modifier and Type	Method	Description
<V extends ExprVisitor> V	accept(@NonNull V v)	Called when this object is visited.
JNewArrayExpr	asJNewArrayExpr()
void	collectUses(List<Value> collector)	Collects all values used by this value into the given list.
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 Type	getBaseType()
@NonNull Immediate	getSize()
@NonNull Type	getType()	Returns an instance of ArrayType().
boolean	isArrayOfPrimitives()
boolean	isJNewArrayExpr()
Optional<JNewArrayExpr>	toJNewArrayExpr()
String	toString()
void	toString(@NonNull StmtPrinter up)	Converts a parameter of type StmtPrinter to a string literal.
@NonNull JNewArrayExpr	withBaseType(@NonNull Type baseType)
@NonNull JNewArrayExpr	withSize(@NonNull Immediate size)

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.common.expr.Expr

asJAddExpr, asJAndExpr, asJCastExpr, asJCmpExpr, asJCmpgExpr, asJCmplExpr, asJDivExpr, asJDynamicInvokeExpr, asJEqExpr, asJGeExpr, asJGtExpr, asJInstanceOfExpr, asJInterfaceInvokeExpr, asJLeExpr, asJLengthExpr, asJLtExpr, asJMulExpr, asJNeExpr, asJNegExpr, asJNewExpr, asJNewMultiArrayExpr, asJOrExpr, asJPhiExpr, asJRemExpr, asJShlExpr, asJShrExpr, asJSpecialInvokeExpr, asJStaticInvokeExpr, asJSubExpr, asJUshrExpr, asJVirtualInvokeExpr, asJXorExpr, isJAddExpr, isJAndExpr, isJCastExpr, isJCmpExpr, isJCmpgExpr, isJCmplExpr, isJDivExpr, isJDynamicInvokeExpr, isJEqExpr, isJGeExpr, isJGtExpr, isJInstanceOfExpr, isJInterfaceInvokeExpr, isJLeExpr, isJLengthExpr, isJLtExpr, isJMulExpr, isJNeExpr, isJNegExpr, isJNewExpr, isJNewMultiArrayExpr, isJOrExpr, isJPhiExpr, isJRemExpr, isJShlExpr, isJShrExpr, isJSpecialInvokeExpr, isJStaticInvokeExpr, isJSubExpr, isJUshrExpr, isJVirtualInvokeExpr, isJXorExpr, toJAddExpr, toJAndExpr, toJCastExpr, toJCmpExpr, toJCmpgExpr, toJCmplExpr, toJDivExpr, toJDynamicInvokeExpr, toJEqExpr, toJGeExpr, toJGtExpr, toJInstanceOfExpr, toJInterfaceInvokeExpr, toJLeExpr, toJLengthExpr, toJLtExpr, toJMulExpr, toJNeExpr, toJNegExpr, toJNewExpr, toJNewMultiArrayExpr, toJOrExpr, toJPhiExpr, toJRemExpr, toJShlExpr, toJShrExpr, toJSpecialInvokeExpr, toJStaticInvokeExpr, toJSubExpr, toJUshrExpr, toJVirtualInvokeExpr, toJXorExpr

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

accept, getUses

Constructor Details

JNewArrayExpr

public JNewArrayExpr(@NonNull Type baseType,
 @NonNull Immediate size,
 @NonNull IdentifierFactory identifierFactory)

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

Parameters:

o - the object to compare with

comparator - the comparator defining the equivalence relation

Returns:

true if this object is structurally equivalent to o under the given comparator

equivHashCode

public int equivHashCode()

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

Specified by:

equivHashCode in interface EquivTo

Returns:

a structural hash code consistent with equivTo

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(@NonNull StmtPrinter up)

Converts a parameter of type StmtPrinter to a string literal.

Specified by:

toString in interface Value

getBaseType

public @NonNull Type getBaseType()

getSize

public @NonNull Immediate getSize()

collectUses

public void collectUses(List<Value> collector)

Description copied from interface: Value

Collects all values used by this value into the given list.

Specified by:

collectUses in interface Value

getType

public @NonNull Type getType()

Returns an instance of ArrayType().

Specified by:

getType in interface Value

Returns:

the type of this value

accept

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

Description copied from interface: Acceptor

Called when this object is visited.

Specified by:

accept in interface Acceptor<ExprVisitor>

Type Parameters:

V - the concrete visitor type

Parameters:

v - the visitor processing this object

Returns:

the visitor after processing

withBaseType

public @NonNull JNewArrayExpr withBaseType(@NonNull Type baseType)

withSize

public @NonNull JNewArrayExpr withSize(@NonNull Immediate size)

isArrayOfPrimitives

public boolean isArrayOfPrimitives()

isJNewArrayExpr

public boolean isJNewArrayExpr()

Specified by:

isJNewArrayExpr in interface Expr

asJNewArrayExpr

public JNewArrayExpr asJNewArrayExpr()

Specified by:

asJNewArrayExpr in interface Expr

toJNewArrayExpr

public Optional<JNewArrayExpr> toJNewArrayExpr()

Specified by:

toJNewArrayExpr in interface Expr