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

java.lang.Object
  soot.tagkit.AbstractHost
      soot.Body
          soot.jimple.StmtBody
              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()