|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.tagkit.AbstractHost
soot.AbstractValueBox
soot.toolkits.scalar.ValueUnitPair
public class ValueUnitPair
Utility class used to package a Value and a Unit together.
| Field Summary | |
|---|---|
protected Unit |
unit
|
| Constructor Summary | |
|---|---|
ValueUnitPair(Value value,
Unit unit)
Constructs a ValueUnitPair from a Unit object and a Value object. |
|
| Method Summary | |
|---|---|
boolean |
canContainUnit(Unit u)
Returns true if this box can contain the given Unit. |
boolean |
canContainValue(Value value)
Returns true if the given Value fits in this box. |
Object |
clone()
|
boolean |
equals(Object other)
|
int |
equivHashCode()
Non-deterministic hashcode consistent with equivTo() implementation. |
boolean |
equivTo(Object other)
Two ValueUnitPairs are equivTo iff they hold the same Unit objects and equivalent Value objects within them. |
Unit |
getUnit()
Returns the unit contained within this box. |
int |
hashCode()
|
boolean |
isBranchTarget()
Returns true if the UnitBox is holding a Unit that is the target of a branch (ie a Unit at the beginning of a CFG block). |
void |
setUnit(Unit unit)
Sets this box to contain the given unit. |
String |
toString()
|
void |
toString(UnitPrinter up)
|
| Methods inherited from class soot.AbstractValueBox |
|---|
getValue, setValue |
| Methods inherited from class soot.tagkit.AbstractHost |
|---|
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag |
| Methods inherited from class java.lang.Object |
|---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface soot.tagkit.Host |
|---|
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag |
| Field Detail |
|---|
protected Unit unit
| Constructor Detail |
|---|
public ValueUnitPair(Value value,
Unit unit)
value - some Valueunit - some Unit.| Method Detail |
|---|
public boolean canContainValue(Value value)
ValueBox
canContainValue in interface ValueBoxpublic void setUnit(Unit unit)
UnitBox
setUnit in interface UnitBoxUnitBox.setUnit(Unit)public Unit getUnit()
UnitBox
getUnit in interface UnitBoxUnitBox.getUnit()public boolean canContainUnit(Unit u)
UnitBox
canContainUnit in interface UnitBoxUnitBox.canContainUnit(Unit)public boolean isBranchTarget()
UnitBoxReturns false if the UnitBox is holding a Unit that indicates the end of a CFG block and may require specialised processing for SSA.
isBranchTarget in interface UnitBoxUnitBox.isBranchTarget()public String toString()
toString in class AbstractValueBoxpublic void toString(UnitPrinter up)
toString in interface UnitBoxtoString in interface ValueBoxtoString in class AbstractValueBoxpublic int hashCode()
hashCode in class Objectpublic boolean equals(Object other)
equals in class Objectpublic boolean equivTo(Object other)
equivTo in interface EquivToother - another ValueUnitPair
public int equivHashCode()
Note: If you are concerned about non-determinism, remember that current implementations of equivHashCode() in other parts of Soot are non-deterministic as well (see Constant.java for example).
equivHashCode in interface EquivTopublic Object clone()
clone in class Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||