soot.baf.internal
Class AbstractBranchInst

java.lang.Object
  extended bysoot.tagkit.AbstractHost
      extended bysoot.AbstractUnit
          extended bysoot.baf.internal.AbstractInst
              extended bysoot.baf.internal.AbstractBranchInst
All Implemented Interfaces:
Context, Host, Inst, Serializable, Switchable, Unit
Direct Known Subclasses:
AbstractOpTypeBranchInst, BGotoInst, BIfEqInst, BIfGeInst, BIfGtInst, BIfLeInst, BIfLtInst, BIfNeInst, BIfNonNullInst, BIfNullInst

public abstract class AbstractBranchInst
extends AbstractInst

See Also:
Serialized Form

Field Summary
 
Fields inherited from class soot.AbstractUnit
emptyList
 
Method Summary
abstract  void apply(Switch sw)
          Called when this object is visited.
 boolean branches()
          Returns true if execution after this statement does not necessarily continue at the following statement.
abstract  String getName()
           
 Unit getTarget()
           
 UnitBox getTargetBox()
           
 List getUnitBoxes()
          Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
 void setTarget(Unit target)
           
 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, 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, getTag, getTags, hasTag, removeAllTags, removeTag
 

Method Detail

getName

public abstract String getName()
Specified by:
getName in class AbstractInst

toString

public 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 List getUnitBoxes()
Description copied from interface: Unit
Returns a list of Boxes containing Units defined in this Unit; typically branch targets.

Specified by:
getUnitBoxes in interface Unit
Overrides:
getUnitBoxes in class AbstractUnit

apply

public abstract void apply(Switch sw)
Description copied from interface: Switchable
Called when this object is visited.

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