| 6273 | } |
| 6274 | |
| 6275 | void remove_duplicates() |
| 6276 | { |
| 6277 | if (_type == xpath_node_set::type_unsorted) |
| 6278 | sort(_begin, _end, duplicate_comparator()); |
| 6279 | |
| 6280 | _end = unique(_begin, _end); |
| 6281 | } |
| 6282 | |
| 6283 | xpath_node_set::type_t type() const |
| 6284 | { |
no test coverage detected