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:
- ConvertToBaf, Host, java.io.Serializable, Stmt, Switchable, Unit
- public class DAbruptStmt
- extends AbstractStmt
- See Also:
- Serialized Form
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 java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
surpressDestinationLabel
public boolean surpressDestinationLabel
DAbruptStmt
public DAbruptStmt(java.lang.String command,
SETNodeLabel label)
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.
- Specified by:
clone
in interface Unit
- Specified by:
clone
in class AbstractUnit
toString
public java.lang.String toString()
toString
public void toString(UnitPrinter up)
is_Continue
public boolean is_Continue()