soot.baf.internal
Class BIncInst

java.lang.Object
  extended by soot.tagkit.AbstractHost
      extended by soot.AbstractUnit
          extended by soot.baf.internal.AbstractInst
              extended by soot.baf.internal.BIncInst
All Implemented Interfaces:
Serializable, IncInst, Inst, Context, Host, Unit, Switchable

public class BIncInst
extends AbstractInst
implements IncInst

See Also:
Serialized Form

Field Summary
 
Fields inherited from class soot.AbstractUnit
emptyList
 
Constructor Summary
BIncInst(Local local, Constant constant)
           
 
Method Summary
 void apply(Switch sw)
          Used to implement the Switchable construct.
 Object clone()
          Returns a deep clone of this object.
 Constant getConstant()
           
 List getDefBoxes()
          Returns a list of Boxes containing Values defined in this Unit.
 int getInCount()
           
 int getInMachineCount()
           
 Local getLocal()
           
 String getName()
           
 int getOutCount()
           
 int getOutMachineCount()
           
protected  void getParameters(UnitPrinter up)
           
 List getUseBoxes()
          Returns a list of Boxes containing Values used in this Unit.
 void setConstant(Constant aConstant)
           
 void setLocal(Local l)
           
 String toString()
           
 void toString(UnitPrinter up)
           
 
Methods inherited from class soot.baf.internal.AbstractInst
branches, containsArrayRef, containsFieldRef, containsInvokeExpr, containsNewExpr, fallsThrough, getNetCount, getNetMachineCount
 
Methods inherited from class soot.AbstractUnit
addBoxPointingToThis, clearUnitBoxes, getBoxesPointingToThis, getUnitBoxes, getUseAndDefBoxes, redirectJumpsToThisTo, removeBoxPointingToThis
 
Methods inherited from class soot.tagkit.AbstractHost
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface soot.baf.Inst
containsArrayRef, containsFieldRef, containsInvokeExpr, containsNewExpr, getNetCount, getNetMachineCount
 
Methods inherited from interface soot.Unit
addBoxPointingToThis, branches, clearUnitBoxes, fallsThrough, getBoxesPointingToThis, getUnitBoxes, getUseAndDefBoxes, redirectJumpsToThisTo, removeBoxPointingToThis
 
Methods inherited from interface soot.tagkit.Host
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag
 

Constructor Detail

BIncInst

public BIncInst(Local local,
                Constant constant)
Method Detail

getInCount

public int getInCount()
Specified by:
getInCount in interface Inst
Overrides:
getInCount in class AbstractInst

clone

public Object clone()
Description copied from class: AbstractUnit
Returns a deep clone of this object.

Specified by:
clone in interface Unit
Overrides:
clone in class AbstractInst

getInMachineCount

public int getInMachineCount()
Specified by:
getInMachineCount in interface Inst
Overrides:
getInMachineCount in class AbstractInst

getOutCount

public int getOutCount()
Specified by:
getOutCount in interface Inst
Overrides:
getOutCount in class AbstractInst

getOutMachineCount

public int getOutMachineCount()
Specified by:
getOutMachineCount in interface Inst
Overrides:
getOutMachineCount in class AbstractInst

getConstant

public Constant getConstant()
Specified by:
getConstant in interface IncInst

setConstant

public void setConstant(Constant aConstant)
Specified by:
setConstant in interface IncInst

getName

public final String getName()
Specified by:
getName in class AbstractInst

getParameters

protected void getParameters(UnitPrinter up)
Overrides:
getParameters in class AbstractInst

apply

public void apply(Switch sw)
Description copied from class: AbstractUnit
Used to implement the Switchable construct.

Specified by:
apply in interface Switchable
Overrides:
apply in class AbstractUnit

setLocal

public void setLocal(Local l)
Specified by:
setLocal in interface IncInst

getLocal

public Local getLocal()
Specified by:
getLocal in interface IncInst

getUseBoxes

public List getUseBoxes()
Description copied from class: AbstractUnit
Returns a list of Boxes containing Values used in this Unit. The list of boxes is dynamically updated as the structure changes. Note that they are returned in usual evaluation order. (this is important for aggregation)

Specified by:
getUseBoxes in interface Unit
Overrides:
getUseBoxes in class AbstractUnit

getDefBoxes

public List getDefBoxes()
Description copied from class: AbstractUnit
Returns a list of Boxes containing Values defined in this Unit. The list of boxes is dynamically updated as the structure changes.

Specified by:
getDefBoxes in interface Unit
Overrides:
getDefBoxes in class AbstractUnit

toString

public String toString()
Overrides:
toString in class AbstractInst

toString

public void toString(UnitPrinter up)
Specified by:
toString in interface Unit
Overrides:
toString in class AbstractInst