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
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.
- 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()