Iterator<CodeExceptionGen> i = exceptionHandlerList.iterator(); while (i.hasNext()) { CodeExceptionGen exceptionHandler = i.next(); InstructionHandle handlerStart = exceptionHandler.getHandlerPC(); subroutine.addEdgeAndExplore(etb, handlerStart, HANDLED_EXCEPTION_EDGE);
if (!sawAnyExceptionHandler) { if (DEBUG) System.out.println("Adding unhandled exception edge from " + pei); subroutine.addEdge(etb, subroutine.getExit(), UNHANDLED_EXCEPTION_EDGE);
	private void handleExceptions(Subroutine subroutine, InstructionHandle pei, BasicBlock etb) {		etb.setExceptionThrower(pei);		List<CodeExceptionGen> exceptionHandlerList = exceptionHandlerMap.getHandlerList(pei);		if (exceptionHandlerList == null)			return;		// TODO: should try to prune some obviously infeasible exception edges		Iterator<CodeExceptionGen> i = exceptionHandlerList.iterator();		while (i.hasNext()) {			CodeExceptionGen exceptionHandler = i.next();			InstructionHandle handlerStart = exceptionHandler.getHandlerPC();			subroutine.addEdgeAndExplore(etb, handlerStart, HANDLED_EXCEPTION_EDGE);		}	}