Package soot.dava.internal.javaRep

Class DVariableDeclarationStmt

java.lang.Object

soot.tagkit.AbstractHost

soot.AbstractUnit

soot.dava.internal.javaRep.DVariableDeclarationStmt

All Implemented Interfaces:

Serializable, Context, Stmt, Host, Unit, Switchable

public class DVariableDeclarationStmt
extends AbstractUnit
implements Stmt

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
DVariableDeclarationStmt(Type decType, DavaBody davaBody)

Method Summary

Modifier and Type	Method	Description
void	addLocal(Local add)
boolean	branches()	Returns true if execution after this statement does not necessarily continue at the following statement.
Object	clone()	Returns a deep clone of this object.
boolean	containsArrayRef()
boolean	containsFieldRef()
boolean	containsInvokeExpr()
boolean	fallsThrough()	Returns true if execution after this statement may continue at the following statement.
ArrayRef	getArrayRef()
ValueBox	getArrayRefBox()
List	getDeclarations()
FieldRef	getFieldRef()
ValueBox	getFieldRefBox()
InvokeExpr	getInvokeExpr()
ValueBox	getInvokeExprBox()
Type	getType()
boolean	isOfType(Type type)
void	removeLocal(Local remove)
String	toString()
void	toString(UnitPrinter up)

Methods inherited from class soot.AbstractUnit

addBoxPointingToThis, apply, clearUnitBoxes, getBoxesPointingToThis, getDefBoxes, getUnitBoxes, 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.util.Switchable

apply

Methods inherited from interface soot.Unit

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

Constructor Detail

DVariableDeclarationStmt

public DVariableDeclarationStmt(Type decType,
                                DavaBody davaBody)

Method Detail

getDeclarations

public List getDeclarations()

addLocal

public void addLocal(Local add)

removeLocal

public void removeLocal(Local remove)

getType

public Type getType()

isOfType

public boolean isOfType(Type type)

clone

public 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 String toString()

Overrides:

toString in class Object

toString

public void toString(UnitPrinter up)

Specified by:

toString in interface Unit

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

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

containsInvokeExpr

public boolean containsInvokeExpr()

Specified by:

containsInvokeExpr in interface Stmt

getInvokeExpr

public InvokeExpr getInvokeExpr()

Specified by:

getInvokeExpr in interface Stmt

getInvokeExprBox

public ValueBox getInvokeExprBox()

Specified by:

getInvokeExprBox in interface Stmt

containsArrayRef

public boolean containsArrayRef()

Specified by:

containsArrayRef in interface Stmt

getArrayRef

public ArrayRef getArrayRef()

Specified by:

getArrayRef in interface Stmt

getArrayRefBox

public ValueBox getArrayRefBox()

Specified by:

getArrayRefBox in interface Stmt

containsFieldRef

public boolean containsFieldRef()

Specified by:

containsFieldRef in interface Stmt

getFieldRef

public FieldRef getFieldRef()

Specified by:

getFieldRef in interface Stmt

getFieldRefBox

public ValueBox getFieldRefBox()

Specified by:

getFieldRefBox in interface Stmt