void (final Block block, final StringBuilder builder) { builder.append("<block "); if (block instanceof ASTBlock && ((ASTBlock)block).getNode() != null) { builder.append(((ASTBlock)block).getNode().getElementType()); } else { builder.append(block.getClass().getSimpleName()); } dumpBlockProperties(block, builder); builder.append(">\n"); }