annotate DEPENDENCIES/generic/include/boost/intrusive/bs_set_hook.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents c530137014c0
children
rev   line source
Chris@16 1 /////////////////////////////////////////////////////////////////////////////
Chris@16 2 //
Chris@16 3 // (C) Copyright Ion Gaztanaga 2007-2013
Chris@16 4 //
Chris@16 5 // Distributed under the Boost Software License, Version 1.0.
Chris@16 6 // (See accompanying file LICENSE_1_0.txt or copy at
Chris@16 7 // http://www.boost.org/LICENSE_1_0.txt)
Chris@16 8 //
Chris@16 9 // See http://www.boost.org/libs/intrusive for documentation.
Chris@16 10 //
Chris@16 11 /////////////////////////////////////////////////////////////////////////////
Chris@16 12
Chris@16 13 #ifndef BOOST_INTRUSIVE_BS_SET_HOOK_HPP
Chris@16 14 #define BOOST_INTRUSIVE_BS_SET_HOOK_HPP
Chris@16 15
Chris@16 16 #include <boost/intrusive/detail/config_begin.hpp>
Chris@16 17 #include <boost/intrusive/intrusive_fwd.hpp>
Chris@101 18
Chris@16 19 #include <boost/intrusive/detail/tree_node.hpp>
Chris@16 20 #include <boost/intrusive/bstree_algorithms.hpp>
Chris@16 21 #include <boost/intrusive/options.hpp>
Chris@16 22 #include <boost/intrusive/detail/generic_hook.hpp>
Chris@16 23
Chris@101 24 #if defined(BOOST_HAS_PRAGMA_ONCE)
Chris@101 25 # pragma once
Chris@101 26 #endif
Chris@101 27
Chris@16 28 namespace boost {
Chris@16 29 namespace intrusive {
Chris@16 30
Chris@16 31 //! Helper metafunction to define a \c bs_set_base_hook that yields to the same
Chris@16 32 //! type when the same options (either explicitly or implicitly) are used.
Chris@16 33 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 34 template<class ...Options>
Chris@16 35 #else
Chris@16 36 template<class O1 = void, class O2 = void, class O3 = void>
Chris@16 37 #endif
Chris@16 38 struct make_bs_set_base_hook
Chris@16 39 {
Chris@16 40 /// @cond
Chris@16 41 typedef typename pack_options
Chris@16 42 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 43 < hook_defaults, O1, O2, O3>
Chris@16 44 #else
Chris@16 45 < hook_defaults, Options...>
Chris@16 46 #endif
Chris@16 47 ::type packed_options;
Chris@16 48
Chris@16 49 typedef generic_hook
Chris@101 50 < bstree_algorithms<tree_node_traits<typename packed_options::void_pointer> >
Chris@16 51 , typename packed_options::tag
Chris@16 52 , packed_options::link_mode
Chris@16 53 , BsTreeBaseHookId
Chris@16 54 > implementation_defined;
Chris@16 55 /// @endcond
Chris@16 56 typedef implementation_defined type;
Chris@16 57 };
Chris@16 58
Chris@16 59 //! Derive a class from bs_set_base_hook in order to store objects in
Chris@16 60 //! in a bs_set/bs_multiset. bs_set_base_hook holds the data necessary to maintain
Chris@16 61 //! the bs_set/bs_multiset and provides an appropriate value_traits class for bs_set/bs_multiset.
Chris@16 62 //!
Chris@16 63 //! The hook admits the following options: \c tag<>, \c void_pointer<>,
Chris@16 64 //! \c link_mode<>.
Chris@16 65 //!
Chris@16 66 //! \c tag<> defines a tag to identify the node.
Chris@16 67 //! The same tag value can be used in different classes, but if a class is
Chris@16 68 //! derived from more than one \c list_base_hook, then each \c list_base_hook needs its
Chris@16 69 //! unique tag.
Chris@16 70 //!
Chris@16 71 //! \c void_pointer<> is the pointer type that will be used internally in the hook
Chris@101 72 //! and the container configured to use this hook.
Chris@16 73 //!
Chris@16 74 //! \c link_mode<> will specify the linking mode of the hook (\c normal_link,
Chris@16 75 //! \c auto_unlink or \c safe_link).
Chris@16 76 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 77 template<class ...Options>
Chris@16 78 #else
Chris@16 79 template<class O1, class O2, class O3>
Chris@16 80 #endif
Chris@16 81 class bs_set_base_hook
Chris@16 82 : public make_bs_set_base_hook
Chris@16 83 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 84 <O1, O2, O3>
Chris@16 85 #else
Chris@16 86 <Options...>
Chris@16 87 #endif
Chris@16 88 ::type
Chris@16 89
Chris@16 90 {
Chris@16 91 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
Chris@16 92 public:
Chris@16 93 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 94 //! initializes the node to an unlinked state.
Chris@16 95 //!
Chris@16 96 //! <b>Throws</b>: Nothing.
Chris@16 97 bs_set_base_hook();
Chris@16 98
Chris@16 99 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 100 //! initializes the node to an unlinked state. The argument is ignored.
Chris@16 101 //!
Chris@16 102 //! <b>Throws</b>: Nothing.
Chris@16 103 //!
Chris@16 104 //! <b>Rationale</b>: Providing a copy-constructor
Chris@16 105 //! makes classes using the hook STL-compliant without forcing the
Chris@16 106 //! user to do some additional work. \c swap can be used to emulate
Chris@16 107 //! move-semantics.
Chris@16 108 bs_set_base_hook(const bs_set_base_hook& );
Chris@16 109
Chris@16 110 //! <b>Effects</b>: Empty function. The argument is ignored.
Chris@16 111 //!
Chris@16 112 //! <b>Throws</b>: Nothing.
Chris@16 113 //!
Chris@16 114 //! <b>Rationale</b>: Providing an assignment operator
Chris@16 115 //! makes classes using the hook STL-compliant without forcing the
Chris@16 116 //! user to do some additional work. \c swap can be used to emulate
Chris@16 117 //! move-semantics.
Chris@16 118 bs_set_base_hook& operator=(const bs_set_base_hook& );
Chris@16 119
Chris@16 120 //! <b>Effects</b>: If link_mode is \c normal_link, the destructor does
Chris@16 121 //! nothing (ie. no code is generated). If link_mode is \c safe_link and the
Chris@16 122 //! object is stored in a set an assertion is raised. If link_mode is
Chris@16 123 //! \c auto_unlink and \c is_linked() is true, the node is unlinked.
Chris@16 124 //!
Chris@16 125 //! <b>Throws</b>: Nothing.
Chris@16 126 ~bs_set_base_hook();
Chris@16 127
Chris@16 128 //! <b>Effects</b>: Swapping two nodes swaps the position of the elements
Chris@16 129 //! related to those nodes in one or two containers. That is, if the node
Chris@16 130 //! this is part of the element e1, the node x is part of the element e2
Chris@16 131 //! and both elements are included in the containers s1 and s2, then after
Chris@16 132 //! the swap-operation e1 is in s2 at the position of e2 and e2 is in s1
Chris@16 133 //! at the position of e1. If one element is not in a container, then
Chris@16 134 //! after the swap-operation the other element is not in a container.
Chris@16 135 //! Iterators to e1 and e2 related to those nodes are invalidated.
Chris@16 136 //!
Chris@16 137 //! <b>Complexity</b>: Constant
Chris@16 138 //!
Chris@16 139 //! <b>Throws</b>: Nothing.
Chris@16 140 void swap_nodes(bs_set_base_hook &other);
Chris@16 141
Chris@16 142 //! <b>Precondition</b>: link_mode must be \c safe_link or \c auto_unlink.
Chris@16 143 //!
Chris@16 144 //! <b>Returns</b>: true, if the node belongs to a container, false
Chris@16 145 //! otherwise. This function can be used to test whether \c set::iterator_to
Chris@16 146 //! will return a valid iterator.
Chris@16 147 //!
Chris@16 148 //! <b>Complexity</b>: Constant
Chris@16 149 bool is_linked() const;
Chris@16 150
Chris@16 151 //! <b>Effects</b>: Removes the node if it's inserted in a container.
Chris@16 152 //! This function is only allowed if link_mode is \c auto_unlink.
Chris@16 153 //!
Chris@16 154 //! <b>Throws</b>: Nothing.
Chris@16 155 void unlink();
Chris@16 156 #endif
Chris@16 157 };
Chris@16 158
Chris@16 159 //! Helper metafunction to define a \c bs_set_member_hook that yields to the same
Chris@16 160 //! type when the same options (either explicitly or implicitly) are used.
Chris@16 161 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 162 template<class ...Options>
Chris@16 163 #else
Chris@16 164 template<class O1 = void, class O2 = void, class O3 = void>
Chris@16 165 #endif
Chris@16 166 struct make_bs_set_member_hook
Chris@16 167 {
Chris@16 168 /// @cond
Chris@16 169 typedef typename pack_options
Chris@16 170 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 171 < hook_defaults, O1, O2, O3>
Chris@16 172 #else
Chris@16 173 < hook_defaults, Options...>
Chris@16 174 #endif
Chris@16 175
Chris@16 176 ::type packed_options;
Chris@16 177
Chris@16 178 typedef generic_hook
Chris@101 179 < bstree_algorithms<tree_node_traits<typename packed_options::void_pointer> >
Chris@16 180 , member_tag
Chris@16 181 , packed_options::link_mode
Chris@16 182 , NoBaseHookId
Chris@16 183 > implementation_defined;
Chris@16 184 /// @endcond
Chris@16 185 typedef implementation_defined type;
Chris@16 186 };
Chris@16 187
Chris@16 188 //! Put a public data member bs_set_member_hook in order to store objects of this class in
Chris@16 189 //! a bs_set/bs_multiset. bs_set_member_hook holds the data necessary for maintaining the
Chris@16 190 //! bs_set/bs_multiset and provides an appropriate value_traits class for bs_set/bs_multiset.
Chris@16 191 //!
Chris@16 192 //! The hook admits the following options: \c void_pointer<>, \c link_mode<>.
Chris@16 193 //!
Chris@16 194 //! \c void_pointer<> is the pointer type that will be used internally in the hook
Chris@101 195 //! and the container configured to use this hook.
Chris@16 196 //!
Chris@16 197 //! \c link_mode<> will specify the linking mode of the hook (\c normal_link,
Chris@16 198 //! \c auto_unlink or \c safe_link).
Chris@16 199 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED) || defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 200 template<class ...Options>
Chris@16 201 #else
Chris@16 202 template<class O1, class O2, class O3>
Chris@16 203 #endif
Chris@16 204 class bs_set_member_hook
Chris@16 205 : public make_bs_set_member_hook
Chris@16 206 #if !defined(BOOST_INTRUSIVE_VARIADIC_TEMPLATES)
Chris@16 207 <O1, O2, O3>
Chris@16 208 #else
Chris@16 209 <Options...>
Chris@16 210 #endif
Chris@16 211 ::type
Chris@16 212 {
Chris@16 213 #if defined(BOOST_INTRUSIVE_DOXYGEN_INVOKED)
Chris@16 214 public:
Chris@16 215 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 216 //! initializes the node to an unlinked state.
Chris@16 217 //!
Chris@16 218 //! <b>Throws</b>: Nothing.
Chris@16 219 bs_set_member_hook();
Chris@16 220
Chris@16 221 //! <b>Effects</b>: If link_mode is \c auto_unlink or \c safe_link
Chris@16 222 //! initializes the node to an unlinked state. The argument is ignored.
Chris@16 223 //!
Chris@16 224 //! <b>Throws</b>: Nothing.
Chris@16 225 //!
Chris@16 226 //! <b>Rationale</b>: Providing a copy-constructor
Chris@16 227 //! makes classes using the hook STL-compliant without forcing the
Chris@16 228 //! user to do some additional work. \c swap can be used to emulate
Chris@16 229 //! move-semantics.
Chris@16 230 bs_set_member_hook(const bs_set_member_hook& );
Chris@16 231
Chris@16 232 //! <b>Effects</b>: Empty function. The argument is ignored.
Chris@16 233 //!
Chris@16 234 //! <b>Throws</b>: Nothing.
Chris@16 235 //!
Chris@16 236 //! <b>Rationale</b>: Providing an assignment operator
Chris@16 237 //! makes classes using the hook STL-compliant without forcing the
Chris@16 238 //! user to do some additional work. \c swap can be used to emulate
Chris@16 239 //! move-semantics.
Chris@16 240 bs_set_member_hook& operator=(const bs_set_member_hook& );
Chris@16 241
Chris@16 242 //! <b>Effects</b>: If link_mode is \c normal_link, the destructor does
Chris@16 243 //! nothing (ie. no code is generated). If link_mode is \c safe_link and the
Chris@16 244 //! object is stored in a set an assertion is raised. If link_mode is
Chris@16 245 //! \c auto_unlink and \c is_linked() is true, the node is unlinked.
Chris@16 246 //!
Chris@16 247 //! <b>Throws</b>: Nothing.
Chris@16 248 ~bs_set_member_hook();
Chris@16 249
Chris@16 250 //! <b>Effects</b>: Swapping two nodes swaps the position of the elements
Chris@16 251 //! related to those nodes in one or two containers. That is, if the node
Chris@16 252 //! this is part of the element e1, the node x is part of the element e2
Chris@16 253 //! and both elements are included in the containers s1 and s2, then after
Chris@16 254 //! the swap-operation e1 is in s2 at the position of e2 and e2 is in s1
Chris@16 255 //! at the position of e1. If one element is not in a container, then
Chris@16 256 //! after the swap-operation the other element is not in a container.
Chris@16 257 //! Iterators to e1 and e2 related to those nodes are invalidated.
Chris@16 258 //!
Chris@16 259 //! <b>Complexity</b>: Constant
Chris@16 260 //!
Chris@16 261 //! <b>Throws</b>: Nothing.
Chris@16 262 void swap_nodes(bs_set_member_hook &other);
Chris@16 263
Chris@16 264 //! <b>Precondition</b>: link_mode must be \c safe_link or \c auto_unlink.
Chris@16 265 //!
Chris@16 266 //! <b>Returns</b>: true, if the node belongs to a container, false
Chris@16 267 //! otherwise. This function can be used to test whether \c set::iterator_to
Chris@16 268 //! will return a valid iterator.
Chris@16 269 //!
Chris@16 270 //! <b>Complexity</b>: Constant
Chris@16 271 bool is_linked() const;
Chris@16 272
Chris@16 273 //! <b>Effects</b>: Removes the node if it's inserted in a container.
Chris@16 274 //! This function is only allowed if link_mode is \c auto_unlink.
Chris@16 275 //!
Chris@16 276 //! <b>Throws</b>: Nothing.
Chris@16 277 void unlink();
Chris@16 278 #endif
Chris@16 279 };
Chris@16 280
Chris@16 281 } //namespace intrusive
Chris@16 282 } //namespace boost
Chris@16 283
Chris@16 284 #include <boost/intrusive/detail/config_end.hpp>
Chris@16 285
Chris@16 286 #endif //BOOST_INTRUSIVE_BS_SET_HOOK_HPP