String () { final StringBuilder builder = new StringBuilder(id()); builder.append("("); for (int i = 0; i < mySucc.size(); i++) { if (i > 0) builder.append(','); Instruction instruction = mySucc.get(i); int num = instruction.num(); if (instruction instanceof InstructionBaseImpl) { builder.append(((InstructionBaseImpl)instruction).id()); } else { builder.append(num); } } builder.append(") ").append(getElementPresentation()); return builder.toString(); }