|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.tagkit.AbstractHost
soot.AbstractUnit
Provides default implementations for the methods in Unit.
Field Summary | |
static java.util.List |
emptyList
Canonical AbstractUnit.emptyList list. |
Constructor Summary | |
AbstractUnit()
|
Method Summary | |
void |
addBoxPointingToThis(UnitBox b)
Adds a box to the list returned by getBoxesPointingToThis. |
void |
apply(Switch sw)
Used to implement the Switchable construct. |
void |
clearUnitBoxes()
Clears any pointers to and from this Unit's UnitBoxes. |
abstract java.lang.Object |
clone()
Returns a deep clone of this object. |
java.util.List |
getBoxesPointingToThis()
Returns a list of Boxes pointing to this Unit. |
java.util.List |
getDefBoxes()
Returns a list of Boxes containing Values defined in this Unit. |
java.util.List |
getUnitBoxes()
Returns a list of Boxes containing Units defined in this Unit; typically branch targets. |
java.util.List |
getUseAndDefBoxes()
Returns a list of ValueBoxes, either used or defined in this Unit. |
java.util.List |
getUseBoxes()
Returns a list of Boxes containing Values used in this Unit. |
void |
redirectJumpsToThisTo(Unit newLocation)
Redirects jumps to this Unit to newLocation. |
void |
removeBoxPointingToThis(UnitBox b)
Removes a box from the list returned by getBoxesPointingToThis. |
Methods inherited from class soot.tagkit.AbstractHost |
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface soot.Unit |
branches, fallsThrough, toString |
Methods inherited from interface soot.tagkit.Host |
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag |
Field Detail |
public static final java.util.List emptyList
Constructor Detail |
public AbstractUnit()
Method Detail |
public abstract java.lang.Object clone()
clone
in interface Unit
public java.util.List getUseBoxes()
getUseBoxes
in interface Unit
public java.util.List getDefBoxes()
getDefBoxes
in interface Unit
public java.util.List getUnitBoxes()
getUnitBoxes
in interface Unit
public java.util.List getBoxesPointingToThis()
getBoxesPointingToThis
in interface Unit
public void addBoxPointingToThis(UnitBox b)
Unit
addBoxPointingToThis
in interface Unit
public void removeBoxPointingToThis(UnitBox b)
Unit
removeBoxPointingToThis
in interface Unit
public void clearUnitBoxes()
Unit
clearUnitBoxes
in interface Unit
public java.util.List getUseAndDefBoxes()
getUseAndDefBoxes
in interface Unit
public void apply(Switch sw)
apply
in interface Switchable
public void redirectJumpsToThisTo(Unit newLocation)
Unit
redirectJumpsToThisTo
in interface Unit
PatchingChain.getNonPatchingChain()
,
soot.shimple.Shimple#redirectToPreds(Chain, Unit)
,
Shimple.redirectPointers(Unit, Unit)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |