org.kit.furia.fragment.soot.representation
Class FrimpBody

java.lang.Object
  extended by soot.tagkit.AbstractHost
      extended by soot.Body
          extended by soot.jimple.StmtBody
              extended by org.kit.furia.fragment.soot.representation.FrimpBody
All Implemented Interfaces:
java.io.Serializable, soot.tagkit.Host

public class FrimpBody
extends soot.jimple.StmtBody

Implementation of the Body class for the Grimp IR.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class soot.Body
localChain, method, trapChain, unitChain
 
Constructor Summary
FrimpBody(soot.Body body)
          Constructs a GrimpBody from the given Body.
 
Method Summary
 java.lang.Object clone()
           
 java.util.List getAllUnitBoxes()
          Returns the result of iterating through all Units in this body and querying them for their UnitBoxes.
 
Methods inherited from class soot.Body
checkInit, getDefBoxes, getLocalCount, getLocals, getMethod, getParameterLocal, getThisLocal, getTraps, getUnitBoxes, getUnits, getUseAndDefBoxes, getUseBoxes, importBodyContentsFrom, setMethod, validate, validateLocals, validateTraps, validateUnitBoxes, validateUses, validateValueBoxes
 
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, toString, wait, wait, wait
 

Constructor Detail

FrimpBody

public FrimpBody(soot.Body body)
Constructs a GrimpBody from the given Body.

Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class soot.Body

getAllUnitBoxes

public java.util.List getAllUnitBoxes()
Returns the result of iterating through all Units in this body and querying them for their UnitBoxes. All UnitBoxes thus found are returned. Branching Units and statements which use PhiExpr will have UnitBoxes; a UnitBox contains a Unit that is either a target of a branch or is being used as a pointer to the end of a CFG block.

This method is typically used for pointer patching, eg when the unit chain is cloned.

Overrides:
getAllUnitBoxes in class soot.Body
Returns:
A list of all the UnitBoxes held by this body's units.
See Also:
UnitBox, Body.getUnitBoxes(boolean), Unit.getUnitBoxes(), UnitBoxOwner.getUnitBoxes()


Copyright © 2008 Arnoldo Jose Muller Molina. All Rights Reserved.