| Method Summary |
|
| public void | checkInit()
|
| abstract public Object | clone()
Creates a deep copy of this Body. |
| public List<UnitBox> | getAllUnitBoxes()
Returns the result of iterating through all Units in this body
and querying them for their UnitBoxes. |
| public List<ValueBox> | getDefBoxes()
Returns the result of iterating through all Units in this
body and querying them for ValueBoxes defined. |
| public int | getLocalCount()
Returns the number of locals declared in this body. |
| public Chain<Local> | getLocals()
Returns a backed chain of the locals declared in this Body. |
| public SootMethod | getMethod()
Returns the method associated with this Body. |
| public Local | getParameterLocal(int i)
Return LHS of the first identity stmt assigning from \@parameter i. |
| public Local | getThisLocal()
Return LHS of the first identity stmt assigning from \@this. |
| public Chain<Trap> | getTraps()
Returns a backed view of the traps found in this Body. |
| public List<UnitBox> | getUnitBoxes(boolean branchTarget)
If branchTarget is true, returns the result of iterating
through all branching Units in this body and querying them for
their UnitBoxes. |
| public PatchingChain<Unit> | getUnits()
Returns the Chain of Units that make up this body. |
| public List<ValueBox> | getUseAndDefBoxes()
Returns a list of boxes corresponding to Values
either used or defined in any unit of this Body. |
| public List<ValueBox> | getUseBoxes()
Returns the result of iterating through all Units in this
body and querying them for ValueBoxes used. |
| public Map<Object, Object> | importBodyContentsFrom(Body b)
Copies the contents of the given Body into this one. |
| public void | setMethod(SootMethod method)
Sets the method associated with this Body. |
| public String | toString()
|
| public void | validate()
Verifies a few sanity conditions on the contents on this body. |
| public void | validateLocals()
Verifies that each Local of getUseAndDefBoxes() is in this body's locals Chain. |
| public void | validateTraps()
Verifies that the begin, end and handler units of each trap are in this body. |
| public void | validateUnitBoxes()
Verifies that the UnitBoxes of this Body all point to a Unit contained within this body. |
| public void | validateUses()
Verifies that each use in this Body has a def. |
| public void | validateValueBoxes()
Verifies that a ValueBox is not used in more than one place. |
