equal
deleted
inserted
replaced
290 |
290 |
291 if (_head != NULL) { |
291 if (_head != NULL) { |
292 assert(length() > 0 && _tail != NULL, hrs_ext_msg(this, "invariant")); |
292 assert(length() > 0 && _tail != NULL, hrs_ext_msg(this, "invariant")); |
293 from_list->_tail->set_next(_head); |
293 from_list->_tail->set_next(_head); |
294 } else { |
294 } else { |
295 assert(length() == 0 && _head == NULL, hrs_ext_msg(this, "invariant")); |
295 assert(length() == 0 && _tail == NULL, hrs_ext_msg(this, "invariant")); |
296 _tail = from_list->_tail; |
296 _tail = from_list->_tail; |
297 } |
297 } |
298 _head = from_list->_head; |
298 _head = from_list->_head; |
299 |
299 |
300 _length += from_list->length(); |
300 _length += from_list->length(); |