indent to some hierarchy level using spaces */
| 141 | |
| 142 | /* indent to some hierarchy level using spaces */ |
| 143 | void indent(std::ostream& cout, size_t depth) { |
| 144 | for (size_t i=0; i<2*depth; i++) cout << " "; |
| 145 | } |
| 146 | |
| 147 | /* store XML to a stream */ |
| 148 | std::ostream& emitXML(std::ostream& cout, const Ref<XML>& xml, size_t depth = 0) |
no outgoing calls
no test coverage detected