soot.baf.internal

Class AbstractBranchInst

java.lang.Object

soot.tagkit.AbstractHost

soot.AbstractUnit

soot.baf.internal.AbstractInst

soot.baf.internal.AbstractBranchInst

All Implemented Interfaces:

java.io.Serializable, Inst, Context, Host, Unit, Switchable

Direct Known Subclasses:

AbstractOpTypeBranchInst, BGotoInst, BIfEqInst, BIfGeInst, BIfGtInst, BIfLeInst, BIfLtInst, BIfNeInst, BIfNonNullInst, BIfNullInst, BJSRInst

public abstract class AbstractBranchInst
extends AbstractInst

See Also:

Serialized Form

Field Summary

Fields inherited from class soot.tagkit.AbstractHost

col, line, mTagList

Method Summary

Modifier and Type	Method and Description
abstract void	apply(Switch sw) Used to implement the Switchable construct.
boolean	branches() Returns true if execution after this statement does not necessarily continue at the following statement.
abstract java.lang.String	getName()
Unit	getTarget()
UnitBox	getTargetBox()
java.util.List<UnitBox>	getUnitBoxes() Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
void	setTarget(Unit target)
java.lang.String	toString()
void	toString(UnitPrinter up)

Methods inherited from class soot.baf.internal.AbstractInst

clone, containsArrayRef, containsFieldRef, containsInvokeExpr, containsNewExpr, fallsThrough, getInCount, getInMachineCount, getNetCount, getNetMachineCount, getOutCount, getOutMachineCount, getParameters

Methods inherited from class soot.AbstractUnit

addBoxPointingToThis, 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.Unit

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

Methods inherited from interface soot.tagkit.Host

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

Method Detail

getName

public abstract java.lang.String getName()

Specified by:

getName in class AbstractInst

toString

public java.lang.String toString()

Overrides:

toString in class AbstractInst

toString

public void toString(UnitPrinter up)

Specified by:

toString in interface Unit

Overrides:

toString in class AbstractInst

getTarget

public Unit getTarget()

setTarget

public void setTarget(Unit target)

getTargetBox

public UnitBox getTargetBox()

getUnitBoxes

public java.util.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

apply

public abstract void apply(Switch sw)

Description copied from class: AbstractUnit

Used to implement the Switchable construct.

Specified by:

apply in interface Switchable

Overrides:

apply in class AbstractUnit

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