Package sootup.core.jimple.common.expr

Class JPhiExpr

java.lang.Object

sootup.core.jimple.common.expr.JPhiExpr

All Implemented Interfaces:

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

public final class JPhiExpr
extends Object
implements Expr

Author:

Zun Wang

Constructor Summary

Constructors

Constructor	Description
JPhiExpr(@NonNull List<Local> args, @NonNull Map<Local,BasicBlock<?>> argToBlock)

Method Summary

Modifier and Type	Method	Description
<V extends ExprVisitor> V	accept(@NonNull V v)	Called when this object is visited.
JPhiExpr	asJPhiExpr()
int	equivHashCode()	Returns a (not necessarily fixed) hash code for this object.
boolean	equivTo(Object o, @NonNull JimpleComparator comparator)	Returns true if this object is equivalent to o according to the given comparator.
@NonNull Local	getArg(int index)
@NonNull Local	getArg(@NonNull BasicBlock<?> block)
int	getArgIndex(@NonNull BasicBlock<?> block)
@NonNull List<Local>	getArgs()
int	getArgsSize()
@NonNull Map<Local,BasicBlock<?>>	getArgToBlockMap()
@NonNull BasicBlock<?>	getBlock(int index)
@NonNull BasicBlock<?>	getBlock(@NonNull Local arg)
@NonNull List<BasicBlock<?>>	getBlocks()
@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.
boolean	isJPhiExpr()
Optional<JPhiExpr>	toJPhiExpr()
@NonNull String	toString()
void	toString(@NonNull StmtPrinter up)
@NonNull JPhiExpr	withArgs(@NonNull List<Local> args)
@NonNull JPhiExpr	withArgToBlockMap(@NonNull Map<Local,BasicBlock<?>> argToBlock)

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, asJNewArrayExpr, asJNewExpr, asJNewMultiArrayExpr, asJOrExpr, 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, isJNewArrayExpr, isJNewExpr, isJNewMultiArrayExpr, isJOrExpr, 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, toJNewArrayExpr, toJNewExpr, toJNewMultiArrayExpr, toJOrExpr, toJRemExpr, toJShlExpr, toJShrExpr, toJSpecialInvokeExpr, toJStaticInvokeExpr, toJSubExpr, toJUshrExpr, toJVirtualInvokeExpr, toJXorExpr

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

accept

Constructor Details

JPhiExpr

public JPhiExpr(@NonNull List<Local> args,
 @NonNull Map<Local,BasicBlock<?>> argToBlock)

Method Details

getArgs

public @NonNull List<Local> getArgs()

getArgsSize

public int getArgsSize()

getArg

public @NonNull Local getArg(@NonNull BasicBlock<?> block)

getArg

public @NonNull Local getArg(int index)

getArgIndex

public int getArgIndex(@NonNull BasicBlock<?> block)

getBlocks

public @NonNull List<BasicBlock<?>> getBlocks()

Returns:

a list of Preds in which each Pred corresponds to arg from args with the same list index.

getBlock

public @NonNull BasicBlock<?> getBlock(@NonNull Local arg)

getBlock

public @NonNull BasicBlock<?> getBlock(int index)

getArgToBlockMap

public @NonNull Map<Local,BasicBlock<?>> getArgToBlockMap()

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:

equivHashCode

public int equivHashCode()

Description copied from interface: EquivTo

Returns a (not necessarily fixed) hash code for this object. This hash code coincides with equivTo; it is undefined in the presence of mutable objects. The contract is defined in JimpleComparator.

Specified by:

equivHashCode in interface EquivTo

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

getType

public @NonNull Type getType()

Description copied from interface: Value

Returns the Soot type of this Value.

Specified by:

getType in interface Value

toString

public void toString(@NonNull StmtPrinter up)

Specified by:

toString in interface Value

toString

public @NonNull String toString()

Overrides:

toString in class Object

withArgs

public @NonNull JPhiExpr withArgs(@NonNull List<Local> args)

withArgToBlockMap

public @NonNull JPhiExpr withArgToBlockMap(@NonNull Map<Local,BasicBlock<?>> argToBlock)

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>

isJPhiExpr

public boolean isJPhiExpr()

Specified by:

isJPhiExpr in interface Expr

asJPhiExpr

public JPhiExpr asJPhiExpr()

Specified by:

asJPhiExpr in interface Expr

toJPhiExpr

public Optional<JPhiExpr> toJPhiExpr()

Specified by:

toJPhiExpr in interface Expr