String () { String new_line_separator = DecompilerContext.getNewLineSeparator(); StringBuilder buf = new StringBuilder(); buf.append("exceptionType:"); if (exceptionTypes == null) { buf.append(" null"); } else { for (String exception_type : exceptionTypes) { buf.append(" ").append(exception_type); } } buf.append(new_line_separator); buf.append("handler: ").append(handler.id).append(new_line_separator); buf.append("range: "); for (BasicBlock block : protectedRange) { buf.append(block.id).append(" "); } buf.append(new_line_separator); return buf.toString(); }