soot

Interface Unit

All Superinterfaces:

Context, Host, java.io.Serializable, Switchable

All Known Subinterfaces:

AssignStmt, BreakpointStmt, DefinitionStmt, EnterMonitorStmt, ExitMonitorStmt, GotoStmt, IdentityStmt, IdentityUnit, IfStmt, InvokeStmt, LookupSwitchStmt, MonitorStmt, NopStmt, RetStmt, ReturnStmt, ReturnVoidStmt, Stmt, TableSwitchStmt, ThrowStmt

All Known Implementing Classes:

AbstractDefinitionStmt, AbstractStmt, AbstractUnit, JAssignStmt, JBreakpointStmt, JEnterMonitorStmt, JExitMonitorStmt, JGotoStmt, JIdentityStmt, JIfStmt, JInvokeStmt, JLookupSwitchStmt, JNopStmt, JRetStmt, JReturnStmt, JReturnVoidStmt, JTableSwitchStmt, JThrowStmt, PlaceholderStmt

public interface Unit
extends Switchable, Host, java.io.Serializable, Context

A code fragment (eg Stmt or Inst), used within Body classes. Intermediate representations must use an implementation of Unit for their code. In general, a unit denotes some sort of unit for execution.

Method Summary

Modifier and Type	Method and Description
void	addBoxPointingToThis(UnitBox b) Adds a box to the list returned by getBoxesPointingToThis.
boolean	branches() Returns true if execution after this statement does not necessarily continue at the following statement.
void	clearUnitBoxes() Clears any pointers to and from this Unit's UnitBoxes.
java.lang.Object	clone()
boolean	fallsThrough() Returns true if execution after this statement may continue at the following statement.
java.util.List<UnitBox>	getBoxesPointingToThis() Returns a list of Boxes pointing to this Unit.
java.util.List<ValueBox>	getDefBoxes() Returns a list of Boxes containing Values defined in this Unit.
java.util.List<UnitBox>	getUnitBoxes() Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
java.util.List	getUseAndDefBoxes() Returns a list of Boxes containing any Value either used or defined in this Unit.
java.util.List<ValueBox>	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.
void	toString(UnitPrinter up)

Methods inherited from interface soot.util.Switchable

apply

Methods inherited from interface soot.tagkit.Host

addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag

Method Detail

getUseBoxes

java.util.List<ValueBox> getUseBoxes()

Returns a list of Boxes containing Values used in this Unit.

getDefBoxes

java.util.List<ValueBox> getDefBoxes()

Returns a list of Boxes containing Values defined in this Unit.

getUnitBoxes

java.util.List<UnitBox> getUnitBoxes()

Returns a list of Boxes containing Units defined in this Unit; typically branch targets.

getBoxesPointingToThis

java.util.List<UnitBox> getBoxesPointingToThis()

Returns a list of Boxes pointing to this Unit.

addBoxPointingToThis

void addBoxPointingToThis(UnitBox b)

Adds a box to the list returned by getBoxesPointingToThis.

removeBoxPointingToThis

void removeBoxPointingToThis(UnitBox b)

Removes a box from the list returned by getBoxesPointingToThis.

clearUnitBoxes

void clearUnitBoxes()

Clears any pointers to and from this Unit's UnitBoxes.

getUseAndDefBoxes

java.util.List getUseAndDefBoxes()

Returns a list of Boxes containing any Value either used or defined in this Unit.

clone

java.lang.Object clone()

fallsThrough

boolean fallsThrough()

Returns true if execution after this statement may continue at the following statement. GotoStmt will return false but IfStmt will return true.

branches

boolean branches()

Returns true if execution after this statement does not necessarily continue at the following statement. GotoStmt and IfStmt will both return true.

toString

void toString(UnitPrinter up)

redirectJumpsToThisTo

void redirectJumpsToThisTo(Unit newLocation)

Redirects jumps to this Unit to newLocation. In general, you shouldn't have to use this directly.

See Also:

PatchingChain.getNonPatchingChain(), soot.shimple.Shimple#redirectToPreds(Chain, Unit), soot.shimple.Shimple#redirectPointers(Unit, Unit)