void (ControlFlowGraph graph, BasicBlock sample, BasicBlock newBlock) { for (int i = 0; i < sample.getSuccessorExceptions().size(); i++) { BasicBlock hd = sample.getSuccessorExceptions().get(i); newBlock.addSuccessorException(hd); ExceptionRangeCFG range = graph.getExceptionRange(hd, sample); range.getProtectedRange().add(newBlock); } }