Package 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 Description booleansurpressDestinationLabel-
Fields inherited from class soot.AbstractUnit
boxesPointingToThis
-
Fields inherited from class soot.tagkit.AbstractHost
col, line, mTagList
-
-
Constructor Summary
Constructors Constructor Description DAbruptStmt(String command, SETNodeLabel label)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanbranches()Returns true if execution after this statement does not necessarily continue at the following statement.Objectclone()Returns a deep clone of this object.booleanfallsThrough()Returns true if execution after this statement may continue at the following statement.SETNodeLabelgetLabel()booleanis_Break()booleanis_Continue()voidsetLabel(SETNodeLabel label)StringtoString()voidtoString(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.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
-
DAbruptStmt
public DAbruptStmt(String command, SETNodeLabel label)
-
-
Method Detail
-
fallsThrough
public boolean fallsThrough()
Description copied from interface:UnitReturns 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:UnitReturns 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:AbstractUnitReturns a deep clone of this object.- Specified by:
clonein interfaceUnit- Specified by:
clonein classAbstractUnit
-
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()
-
-