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