soot.jimple.internal
Class AbstractDefinitionStmt
java.lang.Object
soot.tagkit.AbstractHost
soot.AbstractUnit
soot.jimple.internal.AbstractStmt
soot.jimple.internal.AbstractDefinitionStmt
- All Implemented Interfaces:
- Context, ConvertToBaf, DefinitionStmt, Host, Serializable, Stmt, Switchable, Unit
- Direct Known Subclasses:
- JAssignStmt, JIdentityStmt
- public abstract class AbstractDefinitionStmt
- extends AbstractStmt
- implements DefinitionStmt
- See Also:
- Serialized Form
AbstractDefinitionStmt
public AbstractDefinitionStmt()
getLeftOp
public Value getLeftOp()
- Specified by:
getLeftOp in interface DefinitionStmt
getRightOp
public Value getRightOp()
- Specified by:
getRightOp in interface DefinitionStmt
getLeftOpBox
public ValueBox getLeftOpBox()
- Specified by:
getLeftOpBox in interface DefinitionStmt
getRightOpBox
public ValueBox getRightOpBox()
- Specified by:
getRightOpBox in interface DefinitionStmt
getDefBoxes
public List getDefBoxes()
- Description copied from interface:
Unit
- Returns a list of Boxes containing Values defined in this Unit.
- Specified by:
getDefBoxes in interface Unit- Overrides:
getDefBoxes in class AbstractUnit
getUseBoxes
public List getUseBoxes()
- Description copied from interface:
Unit
- Returns a list of Boxes containing Values used in this Unit.
- Specified by:
getUseBoxes in interface Unit- Overrides:
getUseBoxes in class AbstractUnit
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.
- Specified by:
fallsThrough in interface Unit
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.
- Specified by:
branches in interface Unit