String () { @NonNls final StringBuilder builder = new StringBuilder(); builder.append(num()); builder.append("("); for (Instruction successor : allSuccessors()) { builder.append(successor.num()); builder.append(','); } if (allPredecessors().iterator().hasNext()) builder.delete(builder.length() - 1, builder.length()); builder.append(") ").append("THROW. ").append(getElementPresentation()); return builder.toString(); }