| 8723 | void push_back_grow(const xpath_node& node, xpath_allocator* alloc); |
| 8724 | |
| 8725 | void push_back(const xpath_node& node, xpath_allocator* alloc) |
| 8726 | { |
| 8727 | if (_end != _eos) |
| 8728 | *_end++ = node; |
| 8729 | else |
| 8730 | push_back_grow(node, alloc); |
| 8731 | } |
| 8732 | |
| 8733 | void append(const xpath_node* begin_, const xpath_node* end_, xpath_allocator* alloc) |
| 8734 | { |
no outgoing calls