Package sootup.core.jimple.common.expr

Class JPhiExpr

java.lang.Object

sootup.core.jimple.common.expr.JPhiExpr

All Implemented Interfaces:

EquivTo, Value, Expr, Acceptor<ExprVisitor>

public final class JPhiExpr
extends Object
implements Expr

Author:

Zun Wang

Constructor Summary

Constructors

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

Method Summary

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

accept

Constructor Details

JPhiExpr

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

Method Details

getArgs

@Nonnull
public List<Local> getArgs()

getArgsSize

public int getArgsSize()

getArg

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

getArg

@Nonnull
public Local getArg(int index)

getArgIndex

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

getBlocks

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

Returns:

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

getBlock

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

getBlock

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

getArgToBlockMap

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

getUses

@Nonnull
public 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

@Nonnull
public 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

@Nonnull
public String toString()

Overrides:

toString in class Object

withArgs

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

withArgToBlockMap

@Nonnull
public 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>