Package soot.baf.internal

Class AbstractSwitchInst

java.lang.Object

soot.tagkit.AbstractHost

soot.AbstractUnit

soot.baf.internal.AbstractInst

soot.baf.internal.AbstractSwitchInst

All Implemented Interfaces:

Serializable, Inst, SwitchInst, Context, Host, Unit, Switchable

Direct Known Subclasses:

BLookupSwitchInst, BTableSwitchInst

public abstract class AbstractSwitchInst
extends AbstractInst
implements SwitchInst

See Also:

Serialized Form

Field Summary

Fields inherited from class soot.AbstractUnit

boxesPointingToThis

Fields inherited from class soot.tagkit.AbstractHost

col, line, mTagList

Constructor Summary

Constructors

Constructor	Description
AbstractSwitchInst(Unit defaultTarget, List<? extends Unit> targets)

Method Summary

Modifier and Type	Method	Description
boolean	branches()	Returns true if execution after this statement does not necessarily continue at the following statement.
boolean	fallsThrough()	Returns true if execution after this statement may continue at the following statement.
Unit	getDefaultTarget()
UnitBox	getDefaultTargetBox()
int	getInCount()
int	getInMachineCount()
int	getOutCount()
int	getOutMachineCount()
Unit	getTarget(int index)
UnitBox	getTargetBox(int index)
int	getTargetCount()
List<Unit>	getTargets()
List<UnitBox>	getUnitBoxes()	Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
void	setDefaultTarget(Unit defaultTarget)
void	setTarget(int index, Unit target)
void	setTargets(List<Unit> targets)

Methods inherited from class soot.baf.internal.AbstractInst

clone, containsArrayRef, containsFieldRef, containsInvokeExpr, containsNewExpr, getName, getNetCount, getNetMachineCount, getParameters, toString, toString

Methods inherited from class soot.AbstractUnit

addBoxPointingToThis, apply, clearUnitBoxes, getBoxesPointingToThis, getDefBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, removeBoxPointingToThis

Methods inherited from class soot.tagkit.AbstractHost

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface soot.tagkit.Host

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

Methods inherited from interface soot.baf.Inst

containsArrayRef, containsFieldRef, containsInvokeExpr, containsNewExpr, getNetCount, getNetMachineCount

Methods inherited from interface soot.util.Switchable

apply

Methods inherited from interface soot.Unit

addBoxPointingToThis, clearUnitBoxes, clone, getBoxesPointingToThis, getDefBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, removeBoxPointingToThis, toString

Constructor Detail

AbstractSwitchInst

public AbstractSwitchInst(Unit defaultTarget,
                          List<? extends Unit> targets)

Method Detail

getInCount

public int getInCount()

Specified by:

getInCount in interface Inst

Overrides:

getInCount in class AbstractInst

getInMachineCount

public int getInMachineCount()

Specified by:

getInMachineCount in interface Inst

Overrides:

getInMachineCount in class AbstractInst

getOutCount

public int getOutCount()

Specified by:

getOutCount in interface Inst

Overrides:

getOutCount in class AbstractInst

getOutMachineCount

public int getOutMachineCount()

Specified by:

getOutMachineCount in interface Inst

Overrides:

getOutMachineCount in class AbstractInst

getUnitBoxes

public List<UnitBox> getUnitBoxes()

Description copied from class: AbstractUnit

Returns a list of Boxes containing Units defined in this Unit; typically branch targets. The list of boxes is dynamically updated as the structure changes.

Specified by:

getUnitBoxes in interface Unit

Overrides:

getUnitBoxes in class AbstractUnit

fallsThrough

public boolean fallsThrough()

Description copied from interface: Unit

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

Specified by:

fallsThrough in interface Unit

Overrides:

fallsThrough in class AbstractInst

branches

public boolean branches()

Description copied from interface: Unit

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

Specified by:

branches in interface Unit

Overrides:

branches in class AbstractInst

getDefaultTarget

public Unit getDefaultTarget()

Specified by:

getDefaultTarget in interface SwitchInst

setDefaultTarget

public void setDefaultTarget(Unit defaultTarget)

Specified by:

setDefaultTarget in interface SwitchInst

getDefaultTargetBox

public UnitBox getDefaultTargetBox()

Specified by:

getDefaultTargetBox in interface SwitchInst

getTargetCount

public int getTargetCount()

Specified by:

getTargetCount in interface SwitchInst

getTarget

public Unit getTarget(int index)

Specified by:

getTarget in interface SwitchInst

setTarget

public void setTarget(int index,
                      Unit target)

Specified by:

setTarget in interface SwitchInst

setTargets

public void setTargets(List<Unit> targets)

Specified by:

setTargets in interface SwitchInst

getTargetBox

public UnitBox getTargetBox(int index)

Specified by:

getTargetBox in interface SwitchInst

getTargets

public List<Unit> getTargets()

Specified by:

getTargets in interface SwitchInst