soot.baf.internal
Class BTableSwitchInst

java.lang.Object
  |
  +--soot.AbstractHost
        |
        +--soot.AbstractUnit
              |
              +--soot.baf.internal.AbstractInst
                    |
                    +--soot.baf.internal.BTableSwitchInst

public class BTableSwitchInst
extends AbstractInst
implements TableSwitchInst


Fields inherited from class soot.AbstractUnit
emptyList
 
Constructor Summary
BTableSwitchInst(Unit defaultTarget, int lowIndex, int highIndex, java.util.List targets)
           
 
Method Summary
 void apply(Switch sw)
          Called when this object is visited.
 boolean branches()
          Returns true if execution after this statement is not the following statement.
 java.lang.Object clone()
          Returns a deep clone of this object.
 boolean fallsThrough()
          Returns true if execution after this statement may continue at the following statement.
 Unit getDefaultTarget()
           
 UnitBox getDefaultTargetBox()
           
 int getHighIndex()
           
 int getInCount()
           
 int getInMachineCount()
           
 int getLowIndex()
           
 java.lang.String getName()
           
 int getOutCount()
           
 int getOutMachineCount()
           
 Unit getTarget(int index)
           
 UnitBox getTargetBox(int index)
           
 int getTargetCount()
           
 java.util.List getTargets()
           
 java.util.List getUnitBoxes()
          Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
 void setDefaultTarget(Unit defaultTarget)
           
 void setHighIndex(int highIndex)
           
 void setLowIndex(int lowIndex)
           
 void setTarget(int index, Unit target)
           
 void setTargets(java.util.List targets)
           
protected  java.lang.String toString(boolean isBrief, java.util.Map unitToName, java.lang.String indentation)
          Returns a textual representation of this object, with the given briefness, Map and indentation.
 
Methods inherited from class soot.baf.internal.AbstractInst
getNetCount, getNetMachineCount
 
Methods inherited from class soot.AbstractUnit
getBoxesPointingToThis, getDefBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, toBriefString, toBriefString, toBriefString, toBriefString, toString, toString, toString, toString
 
Methods inherited from class soot.AbstractHost
destroyTag, getTag, getTags, getTagValue, hasTag, incTagValue, incTagValue, incTagValue, newTag, newTag, setTagValue
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BTableSwitchInst

public BTableSwitchInst(Unit defaultTarget,
                        int lowIndex,
                        int highIndex,
                        java.util.List targets)
Method Detail

clone

public java.lang.Object clone()
Description copied from class: AbstractUnit
Returns a deep clone of this object.
Overrides:
clone in class AbstractInst

getInCount

public int getInCount()
Overrides:
getInCount in class AbstractInst

getInMachineCount

public int getInMachineCount()
Overrides:
getInMachineCount in class AbstractInst

getOutCount

public int getOutCount()
Overrides:
getOutCount in class AbstractInst

getOutMachineCount

public int getOutMachineCount()
Overrides:
getOutMachineCount in class AbstractInst

getDefaultTarget

public Unit getDefaultTarget()
Specified by:
getDefaultTarget in interface TableSwitchInst

setDefaultTarget

public void setDefaultTarget(Unit defaultTarget)
Specified by:
setDefaultTarget in interface TableSwitchInst

getDefaultTargetBox

public UnitBox getDefaultTargetBox()
Specified by:
getDefaultTargetBox in interface TableSwitchInst

setLowIndex

public void setLowIndex(int lowIndex)
Specified by:
setLowIndex in interface TableSwitchInst

setHighIndex

public void setHighIndex(int highIndex)
Specified by:
setHighIndex in interface TableSwitchInst

getLowIndex

public int getLowIndex()
Specified by:
getLowIndex in interface TableSwitchInst

getHighIndex

public int getHighIndex()
Specified by:
getHighIndex in interface TableSwitchInst

getTargetCount

public int getTargetCount()

getTarget

public Unit getTarget(int index)
Specified by:
getTarget in interface TableSwitchInst

setTarget

public void setTarget(int index,
                      Unit target)
Specified by:
setTarget in interface TableSwitchInst

setTargets

public void setTargets(java.util.List targets)
Specified by:
setTargets in interface TableSwitchInst

getTargetBox

public UnitBox getTargetBox(int index)
Specified by:
getTargetBox in interface TableSwitchInst

getTargets

public java.util.List getTargets()
Specified by:
getTargets in interface TableSwitchInst

getName

public java.lang.String getName()
Overrides:
getName in class AbstractInst

toString

protected java.lang.String toString(boolean isBrief,
                                    java.util.Map unitToName,
                                    java.lang.String indentation)
Description copied from class: AbstractUnit
Returns a textual representation of this object, with the given briefness, Map and indentation.
Overrides:
toString in class AbstractInst

getUnitBoxes

public java.util.List getUnitBoxes()
Description copied from interface: Unit
Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
Overrides:
getUnitBoxes in class AbstractUnit

apply

public void apply(Switch sw)
Description copied from interface: Switchable
Called when this object is visited.
Overrides:
apply 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.
Overrides:
fallsThrough in class AbstractInst

branches

public boolean branches()
Description copied from interface: Unit
Returns true if execution after this statement is not the following statement.
Overrides:
branches in class AbstractInst