soot.dava.internal.javaRep
Class DAbruptStmt

java.lang.Object
  |
  +--soot.tagkit.AbstractHost
        |
        +--soot.AbstractUnit
              |
              +--soot.jimple.internal.AbstractStmt
                    |
                    +--soot.dava.internal.javaRep.DAbruptStmt

public class DAbruptStmt
extends AbstractStmt

See Also:
Serialized Form

Field Summary
 boolean surpressDestinationLabel
           
 
Fields inherited from class soot.AbstractUnit
emptyList
 
Constructor Summary
DAbruptStmt(java.lang.String command, SETNodeLabel label)
           
 
Method Summary
 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.
 boolean fallsThrough()
          Returns true if execution after this statement may continue at the following statement.
 boolean is_Continue()
           
 java.lang.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, getTag, getTags, hasTag, removeAllTags, removeTag
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

surpressDestinationLabel

public boolean surpressDestinationLabel
Constructor Detail

DAbruptStmt

public DAbruptStmt(java.lang.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 java.lang.Object clone()
Description copied from class: AbstractUnit
Returns a deep clone of this object.
Overrides:
clone in class AbstractUnit

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

toString

public void toString(UnitPrinter up)

is_Continue

public boolean is_Continue()