- getUnits
Returns the Chain of Units that make up this body. The units are returned as a
PatchingChain. The cl
- getThisLocal
Return LHS of the first identity stmt assigning from \@this.
- getLocals
Returns a backed chain of the locals declared in this Body.
- validate
Verifies a few sanity conditions on the contents on this body.
- getMethod
Returns the method associated with this Body.
- getParameterLocal
Return LHS of the first identity stmt assigning from \@parameter i.
- getTraps
Returns a backed view of the traps found in this Body.
- getDefBoxes
Returns the result of iterating through all Units in this body and querying them
for ValueBoxes defi
- getLocalCount
Returns the number of locals declared in this body.
- setMethod
Sets the method associated with this Body.
- getAllUnitBoxes
Returns the result of iterating through all Units in this body and querying them
for their UnitBoxes
- getUseAndDefBoxes
Returns a list of boxes corresponding to Values either used or defined in any
unit of this Body.