// TODO: This encoder makes pessimistic assumptions about dataflow
// into the locals, i.e., it assumes every exception handler is
// globally reachable.
for ( ExceptionInfo ex: this.mbi.getExceptions() )
{
IBasicBlock catchTarget = this.mbi.getCfg().getBlock(ex.getTarget());
Frame catchFrame = getFrame(catchTarget);
setFrameElement(catchFrame.values, 0, visitor.translateExceptionVariable(ex.getCatchVar(), ex.getExceptionType()));
for ( int i = 0; i < parameters.size(); i++ )