soot.dava.internal.javaRep

Class DAbruptStmt

java.lang.Object

soot.tagkit.AbstractHost

soot.AbstractUnit

soot.jimple.internal.AbstractStmt

soot.dava.internal.javaRep.DAbruptStmt

All Implemented Interfaces:

Serializable, Context, ConvertToBaf, Stmt, Host, Unit, Switchable

public class DAbruptStmt
extends AbstractStmt

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
boolean	surpressDestinationLabel

Fields inherited from class soot.AbstractUnit

boxesPointingToThis

Fields inherited from class soot.tagkit.AbstractHost

col, line, mTagList

Constructor Summary

Constructors

Constructor and Description
DAbruptStmt(String command, SETNodeLabel label)

Method Summary

Modifier and Type	Method and Description
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	fallsThrough() Returns true if execution after this statement may continue at the following statement.
SETNodeLabel	getLabel()
boolean	is_Break()
boolean	is_Continue()
void	setLabel(SETNodeLabel label)
String	toString()
void	toString(UnitPrinter up)

Methods inherited from class soot.jimple.internal.AbstractStmt

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

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

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

Methods inherited from interface soot.util.Switchable

apply

Methods inherited from interface soot.tagkit.Host

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

Field Detail

surpressDestinationLabel

public boolean surpressDestinationLabel

Constructor Detail

DAbruptStmt

public DAbruptStmt(String command,
                   SETNodeLabel label)

Method Detail

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.

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.

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)

is_Continue

public boolean is_Continue()

is_Break

public boolean is_Break()

setLabel

public void setLabel(SETNodeLabel label)

getLabel

public SETNodeLabel getLabel()