soot.jimple.internal

Class JLookupSwitchStmt

java.lang.Object

soot.tagkit.AbstractHost

soot.AbstractUnit

soot.jimple.internal.AbstractStmt

soot.jimple.internal.JLookupSwitchStmt

All Implemented Interfaces:

java.io.Serializable, Context, ConvertToBaf, LookupSwitchStmt, Stmt, SwitchStmt, Host, Unit, Switchable

Direct Known Subclasses:

GLookupSwitchStmt

public class JLookupSwitchStmt
extends AbstractStmt
implements LookupSwitchStmt

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected UnitBox[]	targetBoxes

Fields inherited from class soot.tagkit.AbstractHost

col, line

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	JLookupSwitchStmt(ValueBox keyBox, java.util.List<IntConstant> lookupValues, UnitBox[] targetBoxes, UnitBox defaultTargetBox)
	JLookupSwitchStmt(Value key, java.util.List<IntConstant> lookupValues, java.util.List<? extends Unit> targets, Unit defaultTarget) Constructs a new JLookupSwitchStmt.
	JLookupSwitchStmt(Value key, java.util.List<IntConstant> lookupValues, java.util.List<? extends UnitBox> targets, UnitBox defaultTarget) Constructs a new JLookupSwitchStmt.

Method Summary

Methods

Modifier and Type	Method and Description
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.
java.lang.Object	clone() Returns a deep clone of this object.
void	convertToBaf(JimpleToBafContext context, java.util.List<Unit> out)
boolean	fallsThrough() Returns true if execution after this statement may continue at the following statement.
Unit	getDefaultTarget()
UnitBox	getDefaultTargetBox()
Value	getKey()
ValueBox	getKeyBox()
int	getLookupValue(int index)
java.util.List<IntConstant>	getLookupValues()
Unit	getTarget(int index)
UnitBox	getTargetBox(int index)
int	getTargetCount()
java.util.List<Unit>	getTargets()
java.util.List<UnitBox>	getUnitBoxes() Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
java.util.List<ValueBox>	getUseBoxes() Returns a list of Boxes containing Values used in this Unit.
void	setDefaultTarget(Unit defaultTarget)
void	setKey(Value key)
void	setLookupValue(int index, int value)
void	setLookupValues(java.util.List<IntConstant> lookupValues)
void	setTarget(int index, Unit target)
void	setTargets(java.util.List<? extends Unit> targets)
void	setTargets(Unit[] targets)
java.lang.String	toString()
void	toString(UnitPrinter up)

Methods inherited from class soot.jimple.internal.AbstractStmt

containsArrayRef, containsFieldRef, containsInvokeExpr, getArrayRef, getArrayRefBox, getFieldRef, getFieldRefBox, getInvokeExpr, getInvokeExprBox

Methods inherited from class soot.AbstractUnit

addBoxPointingToThis, clearUnitBoxes, getBoxesPointingToThis, getDefBoxes, getUseAndDefBoxes, 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.jimple.LookupSwitchStmt

getTargetCount, setTargets

Methods inherited from interface soot.jimple.SwitchStmt

getDefaultTarget, getDefaultTargetBox, getKey, getKeyBox, getTarget, getTargetBox, getTargets, setDefaultTarget, setKey, setTarget

Methods inherited from interface soot.jimple.Stmt

containsArrayRef, containsFieldRef, containsInvokeExpr, getArrayRef, getArrayRefBox, getFieldRef, getFieldRefBox, getInvokeExpr, getInvokeExprBox

Methods inherited from interface soot.Unit

addBoxPointingToThis, branches, clearUnitBoxes, fallsThrough, getBoxesPointingToThis, getDefBoxes, getUnitBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, removeBoxPointingToThis

Methods inherited from interface soot.tagkit.Host

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

Field Detail

targetBoxes

protected final UnitBox[] targetBoxes

Constructor Detail

JLookupSwitchStmt

public JLookupSwitchStmt(Value key,
                 java.util.List<IntConstant> lookupValues,
                 java.util.List<? extends Unit> targets,
                 Unit defaultTarget)

Constructs a new JLookupSwitchStmt. lookupValues should be a list of IntConst s.

JLookupSwitchStmt

public JLookupSwitchStmt(Value key,
                 java.util.List<IntConstant> lookupValues,
                 java.util.List<? extends UnitBox> targets,
                 UnitBox defaultTarget)

Constructs a new JLookupSwitchStmt. lookupValues should be a list of IntConst s.

JLookupSwitchStmt

protected JLookupSwitchStmt(ValueBox keyBox,
                 java.util.List<IntConstant> lookupValues,
                 UnitBox[] targetBoxes,
                 UnitBox defaultTargetBox)

Method Detail

clone

public java.lang.Object clone()

Description copied from class: AbstractUnit

Returns a deep clone of this object.

Specified by:

clone in interface Unit

Specified by:

clone in class AbstractUnit

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public void toString(UnitPrinter up)

Specified by:

toString in interface Stmt

Specified by:

toString in interface Unit

setLookupValues

public void setLookupValues(java.util.List<IntConstant> lookupValues)

Specified by:

setLookupValues in interface LookupSwitchStmt

setLookupValue

public void setLookupValue(int index,
                  int value)

Specified by:

setLookupValue in interface LookupSwitchStmt

getLookupValue

public int getLookupValue(int index)

Specified by:

getLookupValue in interface LookupSwitchStmt

getLookupValues

public java.util.List<IntConstant> getLookupValues()

Specified by:

getLookupValues in interface LookupSwitchStmt

apply

public 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

convertToBaf

public void convertToBaf(JimpleToBafContext context,
                java.util.List<Unit> out)

Specified by:

convertToBaf in interface ConvertToBaf

Overrides:

convertToBaf in class AbstractStmt

getDefaultTarget

public final Unit getDefaultTarget()

Specified by:

getDefaultTarget in interface SwitchStmt

setDefaultTarget

public final void setDefaultTarget(Unit defaultTarget)

Specified by:

setDefaultTarget in interface SwitchStmt

getDefaultTargetBox

public final UnitBox getDefaultTargetBox()

Specified by:

getDefaultTargetBox in interface SwitchStmt

getKey

public final Value getKey()

Specified by:

getKey in interface SwitchStmt

setKey

public final void setKey(Value key)

Specified by:

setKey in interface SwitchStmt

getKeyBox

public final ValueBox getKeyBox()

Specified by:

getKeyBox in interface SwitchStmt

getUseBoxes

public final java.util.List<ValueBox> getUseBoxes()

Description copied from class: AbstractUnit

Returns a list of Boxes containing Values used in this Unit. The list of boxes is dynamically updated as the structure changes. Note that they are returned in usual evaluation order. (this is important for aggregation)

Specified by:

getUseBoxes in interface Unit

Overrides:

getUseBoxes in class AbstractUnit

getTargetCount

public final int getTargetCount()

getTarget

public final Unit getTarget(int index)

Specified by:

getTarget in interface SwitchStmt

getTargetBox

public final UnitBox getTargetBox(int index)

Specified by:

getTargetBox in interface SwitchStmt

setTarget

public final void setTarget(int index,
             Unit target)

Specified by:

setTarget in interface SwitchStmt

getTargets

public final java.util.List<Unit> getTargets()

Specified by:

getTargets in interface SwitchStmt

setTargets

public final void setTargets(java.util.List<? extends Unit> targets)

setTargets

public final void setTargets(Unit[] targets)

getUnitBoxes

public final 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

fallsThrough

public final 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

branches

public final 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