1 int __exchange_and_add_dispatch(int *__mem);
2 template < typename _Tp > class new_allocator {
6 template < typename _CharT > struct char_traits;
7 template < typename _Tp > class allocator:public new_allocator < _Tp > {
9 template < typename _CharT, typename _Traits =
10 char_traits < _CharT >, typename _Alloc =
11 allocator < _CharT > >class basic_string;
12 typedef basic_string < char >string;
13 template < typename _CharT, typename _Traits,
14 typename _Alloc > class basic_string {
15 typedef _Alloc allocator_type;
16 private:struct _Rep_base {
19 struct _Rep:_Rep_base {
20 void _M_dispose(const _Alloc & __a) {
21 if (this != &_S_empty_rep()) {
22 if (__exchange_and_add_dispatch
23 (&this->_M_refcount)) {
27 struct _Alloc_hider:_Alloc {
29 public: private:mutable _Alloc_hider _M_dataplus;
30 _Rep *_M_rep() const {
31 } static _Rep & _S_empty_rep() {
33 public: basic_string():_M_dataplus(_S_empty_rep()._M_refdata(),
37 _M_rep()->_M_dispose(this->get_allocator());
39 allocator_type get_allocator() const {
44 template < class T > class intrusive_ptr {
45 public:typedef T element_type;
47 intrusive_ptr_release(px);
50 template < typename T > struct intrusive_base {
51 friend void intrusive_ptr_release(T * ptr) {
54 struct section_info:intrusive_base < section_info > {
55 boost::intrusive_ptr < section_info > parent;
59 std::string normalize_id(std::string) {
62 void add_id_to_section(std::string const &id) {
63 std::string id_part = id;
65 boost::intrusive_ptr < section_info > parent;