| 312 | |
| 313 | |
| 314 | void dump(std::ostream &out, unsigned indent =1) const { |
| 315 | unsigned n = childCount(); |
| 316 | out << string(2*indent, ' ') << "{"; |
| 317 | for (unsigned i = 0; i < n; ++i) { |
| 318 | out << "\n"; |
| 319 | _children[i].dump(out, indent+1); |
| 320 | } |
| 321 | out << " }"; |
| 322 | } |
| 323 | |
| 324 | static void operator delete(void* ptr) { |
| 325 | ::operator delete(ptr); |