| 181 | } |
| 182 | |
| 183 | DataNode::~DataNode() { |
| 184 | while (!children.empty()) { |
| 185 | DataNode *del = children.back(); |
| 186 | children.pop_back(); |
| 187 | delete del; |
| 188 | } |
| 189 | delete data_elem; |
| 190 | } |
| 191 | |
| 192 | void DataNode::setName(const char *name_in) { |
| 193 | node_name = name_in; |