protected void dump(StringBuilder b, String indent) {
b.append(toString());
b.append(isLazy() ? " lazy" : "");
b.append('\n');
int leaves = _subscribers.size() + _listeners.size() + _authorizers.size();
int i = 0;
for (ServerSession child : _subscribers) {
b.append(indent);
b.append(" +-");
((ServerSessionImpl) child).dump(b, indent + ((++i == leaves) ? " " : " | "));
}
for (ServerChannelListener child : _listeners) {
b.append(indent);
b.append(" +-");
b.append(child);
b.append('\n');
}
for (Authorizer auth : _authorizers) {
b.append(indent);
b.append(" +-");
b.append(auth);
b.append('\n');
}
}
