|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.shimple.internal.SPhiExpr
Internal implementation of Phi nodes.
PhiExpr
, Serialized FormField Summary | |
protected java.util.List |
argPairs
|
protected java.util.Map |
predToPair
|
protected Type |
type
|
Constructor Summary | |
SPhiExpr(java.util.List args,
java.util.List preds)
Create a Phi expression from the given list of Values and Blocks. |
|
SPhiExpr(Local leftLocal,
java.util.List preds)
Create a trivial Phi expression for leftLocal. |
Method Summary | |
boolean |
addArg(Value arg,
Block pred)
Add the given argument associated with the given CFG predecessor. |
boolean |
addArg(Value arg,
Unit predTailUnit)
Add the given argument associated with the given CFG predecessor. |
void |
apply(Switch sw)
Called when this object is visited. |
java.lang.Object |
clone()
Returns a clone of this Value. |
int |
equivHashCode()
Returns a (not necessarily fixed) hash code for this object. |
boolean |
equivTo(java.lang.Object o)
Returns true if this object is equivalent to o. |
ValueUnitPair |
getArgBox(Block pred)
Returns the argument pair corresponding to the given CFG predecessor. |
ValueUnitPair |
getArgBox(int index)
Returns the argument pair for the given index. |
ValueUnitPair |
getArgBox(Unit predTailUnit)
Returns the argument pair corresponding to the given CFG predecessor. |
int |
getArgCount()
Returns the number of arguments in this PhiExpr. |
int |
getArgIndex(Block pred)
Returns the index of the argument associated with the given control flow predecessor. |
int |
getArgIndex(Unit predTailUnit)
Returns the index of the argument associated with the given control flow predecessor Unit. |
java.util.List |
getArgs()
Returns an unmodifiable, backed view of the arguments to this PhiExpr. |
Unit |
getPred(int index)
Returns the control flow predecessor Unit for the given index into the PhiExpr. |
java.util.List |
getPreds()
Returns a list of the control flow predecessor Units being tracked by this PhiExpr |
Type |
getType()
The type of the PhiExpr is usually the same as the type of its arguments. |
java.util.List |
getUnitBoxes()
|
java.util.List |
getUseBoxes()
Returns a List of boxes corresponding to Values which are used by (ie contained within) this Value. |
Value |
getValue(Block pred)
Get the PhiExpr argument corresponding to the given control flow predecessor, returns null if not available. |
Value |
getValue(int index)
Returns the value for the given index into the PhiExpr. |
Value |
getValue(Unit predTailUnit)
Get the PhiExpr argument corresponding to the given control flow predecessor, returns null if not available. |
java.util.List |
getValues()
Returns a list of the values used by this PhiExpr. |
boolean |
removeArg(Block pred)
Remove the argument corresponding to the given CFG predecessor. |
boolean |
removeArg(int index)
Remove the argument at the given index. |
boolean |
removeArg(Unit predTailUnit)
Remove the argument corresponding to the given CFG predecessor. |
boolean |
removeArg(ValueUnitPair arg)
Remove the given argument. |
boolean |
setArg(int index,
Value arg,
Block pred)
Modify the PhiExpr argument at the given index with the given information. |
boolean |
setArg(int index,
Value arg,
Unit predTailUnit)
Modify the PhiExpr argument at the given index with the given information. |
boolean |
setPred(int index,
Block pred)
Update the CFG predecessor associated with the PhiExpr argument at the given index. |
boolean |
setPred(int index,
Unit predTailUnit)
Update the CFG predecessor associated with the PhiExpr argument at the given index. |
boolean |
setValue(Block pred,
Value arg)
Locate the argument assocatiated with the given CFG predecessor and set the value. |
boolean |
setValue(int index,
Value arg)
Set the value at the given index into the PhiExpr. |
boolean |
setValue(Unit predTailUnit,
Value arg)
Locate the argument assocatiated with the given CFG predecessor unit and set the value. |
java.lang.String |
toString()
|
void |
toString(UnitPrinter up)
|
protected void |
updateCache()
Update predToPair cache map which could be out-of-sync due to external setUnit or clone operations on the UnitBoxes. |
Methods inherited from class java.lang.Object |
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Field Detail |
protected java.util.List argPairs
protected java.util.Map predToPair
protected Type type
Constructor Detail |
public SPhiExpr(Local leftLocal, java.util.List preds)
public SPhiExpr(java.util.List args, java.util.List preds)
Method Detail |
public java.util.List getArgs()
ValueUnitPair
public java.util.List getValues()
public java.util.List getPreds()
public int getArgCount()
public ValueUnitPair getArgBox(int index)
public Value getValue(int index)
public Unit getPred(int index)
public int getArgIndex(Unit predTailUnit)
public ValueUnitPair getArgBox(Unit predTailUnit)
public Value getValue(Unit predTailUnit)
public int getArgIndex(Block pred)
public ValueUnitPair getArgBox(Block pred)
public Value getValue(Block pred)
public boolean setArg(int index, Value arg, Unit predTailUnit)
public boolean setArg(int index, Value arg, Block pred)
public boolean setValue(int index, Value arg)
public boolean setValue(Unit predTailUnit, Value arg)
public boolean setValue(Block pred, Value arg)
public boolean setPred(int index, Unit predTailUnit)
public boolean setPred(int index, Block pred)
public boolean removeArg(int index)
public boolean removeArg(Unit predTailUnit)
public boolean removeArg(Block pred)
public boolean removeArg(ValueUnitPair arg)
public boolean addArg(Value arg, Block pred)
public boolean addArg(Value arg, Unit predTailUnit)
protected void updateCache()
public boolean equivTo(java.lang.Object o)
public int equivHashCode()
public java.util.List getUnitBoxes()
public java.util.List getUseBoxes()
public Type getType()
public java.lang.String toString()
public void toString(UnitPrinter up)
public void apply(Switch sw)
public java.lang.Object clone()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |