soot.jimple.internal
Class AbstractDefinitionStmt

java.lang.Object
  |
  +--soot.tagkit.AbstractHost
        |
        +--soot.AbstractUnit
              |
              +--soot.jimple.internal.AbstractStmt
                    |
                    +--soot.jimple.internal.AbstractDefinitionStmt
All Implemented Interfaces:
ConvertToBaf, DefinitionStmt, Host, java.io.Serializable, Stmt, Switchable, Unit
Direct Known Subclasses:
JAssignStmt, JIdentityStmt

public abstract class AbstractDefinitionStmt
extends AbstractStmt
implements DefinitionStmt

See Also:
Serialized Form

Field Summary
 
Fields inherited from class soot.AbstractUnit
emptyList
 
Constructor Summary
AbstractDefinitionStmt()
           
 
Method Summary
 boolean branches()
          Returns true if execution after this statement is not the following statement.
 boolean fallsThrough()
          Returns true if execution after this statement may continue at the following statement.
 java.util.List getDefBoxes()
          Returns a list of Boxes containing Values defined in this Unit.
 Value getLeftOp()
           
 ValueBox getLeftOpBox()
           
 Value getRightOp()
           
 ValueBox getRightOpBox()
           
 java.util.List getUseBoxes()
          Returns a list of Boxes containing Values used in this Unit.
 
Methods inherited from class soot.jimple.internal.AbstractStmt
containsArrayRef, containsFieldRef, containsInvokeExpr, convertToBaf, getArrayRef, getArrayRefBox, getFieldRef, getFieldRefBox, getInvokeExpr, getInvokeExprBox
 
Methods inherited from class soot.AbstractUnit
apply, clone, getBoxesPointingToThis, getUnitBoxes, getUseAndDefBoxes, redirectJumpsToThisTo, toBriefString, toBriefString, toBriefString, toBriefString, toString, toString, toString, toString, toString
 
Methods inherited from class soot.tagkit.AbstractHost
addTag, getTag, getTags, hasTag, removeTag
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface soot.jimple.Stmt
containsArrayRef, containsFieldRef, containsInvokeExpr, getArrayRef, getArrayRefBox, getFieldRef, getFieldRefBox, getInvokeExpr, getInvokeExprBox, toBriefString, toBriefString, toBriefString, toBriefString, toString, toString, toString, toString
 
Methods inherited from interface soot.Unit
clone, getBoxesPointingToThis, getUnitBoxes, getUseAndDefBoxes, redirectJumpsToThisTo
 
Methods inherited from interface soot.util.Switchable
apply
 
Methods inherited from interface soot.tagkit.Host
addTag, getTag, getTags, hasTag, removeTag
 

Constructor Detail

AbstractDefinitionStmt

public AbstractDefinitionStmt()
Method Detail

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 java.util.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 java.util.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.

Specified by:
fallsThrough in interface Unit

branches

public boolean branches()
Description copied from interface: Unit
Returns true if execution after this statement is not the following statement.

Specified by:
branches in interface Unit