From d29dc277e64b1649b3c63bbeeef6d86710d914fc Mon Sep 17 00:00:00 2001 From: Kohei Takahashi Date: Thu, 25 Jun 2015 22:42:44 +0900 Subject: [PATCH] Renaming No-bounds concept to Unbounded concept. --- doc/fusion.qbk | 4 ++-- doc/html/index.html | 6 ++--- doc/iterator.qbk | 4 ++-- doc/sequence.qbk | 22 +++++++++---------- doc/support.qbk | 2 +- .../boost/fusion/sequence/intrinsic/at.hpp | 2 +- .../fusion/sequence/intrinsic/at_key.hpp | 2 +- .../fusion/sequence/intrinsic/value_at.hpp | 2 +- .../sequence/intrinsic/value_at_key.hpp | 2 +- include/boost/fusion/support/category_of.hpp | 6 ++--- 10 files changed, 26 insertions(+), 26 deletions(-) diff --git a/doc/fusion.qbk b/doc/fusion.qbk index 5233aade..0a24cb32 100644 --- a/doc/fusion.qbk +++ b/doc/fusion.qbk @@ -79,7 +79,7 @@ [def __bidirectional_iterator__ [link fusion.iterator.concepts.bidirectional_iterator Bidirectional Iterator]] [def __random_access_iterator__ [link fusion.iterator.concepts.random_access_iterator Random Access Iterator]] [def __associative_iterator__ [link fusion.iterator.concepts.associative_iterator Associative Iterator]] -[def __no_bounds_iterator__ [link fusion.iterator.concepts.no_bounds_iterator No-bounds Iterator]] +[def __unbounded_iterator__ [link fusion.iterator.concepts.unbounded_iterator Unbounded Iterator]] [def __next__ [link fusion.iterator.functions.next `next`]] [def __prior__ [link fusion.iterator.functions.prior `prior`]] @@ -109,7 +109,7 @@ [def __bidirectional_sequence__ [link fusion.sequence.concepts.bidirectional_sequence Bidirectional Sequence]] [def __random_access_sequence__ [link fusion.sequence.concepts.random_access_sequence Random Access Sequence]] [def __associative_sequence__ [link fusion.sequence.concepts.associative_sequence Associative Sequence]] -[def __no_bounds_sequence__ [link fusion.sequence.concepts.no_bounds_sequence No-bounds Sequence]] +[def __unbounded_sequence__ [link fusion.sequence.concepts.unbounded_sequence Unbounded Sequence]] [def __containers__ [link fusion.container Container]] [def __vector__ [link fusion.container.vector `vector`]] diff --git a/doc/html/index.html b/doc/html/index.html index 626cf2e5..957609a9 100644 --- a/doc/html/index.html +++ b/doc/html/index.html @@ -69,7 +69,7 @@ Access Iterator
Associative Iterator
-
No-bounds +
Unbounded Iterator
Functions
@@ -118,7 +118,7 @@ Access Sequence
Associative Sequence
-
No-bounds +
Unbounded Sequence
Intrinsic
@@ -278,7 +278,7 @@ - +

Last revised: May 10, 2013 at 05:54:18 GMT

Last revised: June 25, 2015 at 13:41:27 GMT
diff --git a/doc/iterator.qbk b/doc/iterator.qbk index 121ef123..ef33240a 100644 --- a/doc/iterator.qbk +++ b/doc/iterator.qbk @@ -257,9 +257,9 @@ expressions must be valid: [endsect] -[section No-bounds Iterator] +[section Unbounded Iterator] -[warning In this release, __no_bounds_iterator__ concept has no effect. It's reserved for future release.] +[warning In this release, __unbounded_iterator__ concept has no effect. It's reserved for future release.] [endsect] diff --git a/doc/sequence.qbk b/doc/sequence.qbk index 8fc4ce9e..a9fc83d3 100644 --- a/doc/sequence.qbk +++ b/doc/sequence.qbk @@ -41,8 +41,8 @@ Sequence allows efficient retrieval of elements based on keys. [heading Boundary] -The __no_bounds_sequence__ concept is also orthogonal to traversal and associativity. -A No-bounds Sequence allows out-of-bounds access. +The __unbounded_sequence__ concept is also orthogonal to traversal and associativity. +A Unbounded Sequence allows out-of-bounds access. [section Forward Sequence] @@ -364,11 +364,11 @@ you can use `__result_of_value_at_key__`.] [endsect] -[section No-bounds Sequence] +[section Unbounded Sequence] [heading Description] -A No-bounds Sequence allows Out-of-Bounds access: it will achieve something like a __window_function__. +A Unbounded Sequence allows Out-of-Bounds access: it will achieve something like a __window_function__. Most of the sequences do not meet this concept, but some special usecases do. [important User extending sequences should handle any parameters or be SFINAE-friendly.] @@ -740,7 +740,7 @@ element from the beginning of the sequence, is a valid expression. Else, returns a type convertible to the M-th element from the beginning of the sequence. -[*Precondition]: `0 <= M::value < __size__(seq)` (where `seq` is not __no_bounds_sequence__) +[*Precondition]: `0 <= M::value < __size__(seq)` (where `seq` is not __unbounded_sequence__) [*Semantics]: Equivalent to @@ -793,7 +793,7 @@ element from the beginning of the sequence, is a valid expression. Else, returns a type convertible to the N-th element from the beginning of the sequence. -[*Precondition]: `0 <= N < __size__(seq)` (where `seq` is not __no_bounds_sequence__) +[*Precondition]: `0 <= N < __size__(seq)` (where `seq` is not __unbounded_sequence__) [*Semantics]: Equivalent to @@ -887,7 +887,7 @@ the sequence `seq` if `seq` is mutable and `e = o`, where `e` is the element associated with Key, is a valid expression. Else, returns a type convertible to the element associated with Key. -[*Precondition]: `has_key(seq) == true` (where `seq` is not __no_bounds_sequence__) +[*Precondition]: `has_key(seq) == true` (where `seq` is not __unbounded_sequence__) [*Semantics]: Returns the element associated with Key. @@ -1203,7 +1203,7 @@ the actual element type, use __result_of_value_at__]. [*Return type]: Any type. -[*Precondition]: `0 <= M::value < __result_of_size__::value` (where `Seq` is not __no_bounds_sequence__) +[*Precondition]: `0 <= M::value < __result_of_size__::value` (where `Seq` is not __unbounded_sequence__) [*Semantics]: Returns the result type of using __at__ to access the `M`th element of `Seq`. @@ -1247,7 +1247,7 @@ get the actual element type, use __result_of_value_at_c__]. [*Return type]: Any type -[*Precondition]: `0 <= N < __result_of_size__::value` (where `Seq` is not __no_bounds_sequence__) +[*Precondition]: `0 <= N < __result_of_size__::value` (where `Seq` is not __unbounded_sequence__) [*Semantics]: Returns the result type of using __at_c__ to access the `N`th element of `Seq`. @@ -1408,7 +1408,7 @@ you want to get the actual element type, use __result_of_value_at_key__]. [*Return type]: Any type. -[*Precondition]: `has_key::type::value == true` (where `Seq` is not __no_bounds_sequence__) +[*Precondition]: `has_key::type::value == true` (where `Seq` is not __unbounded_sequence__) [*Semantics]: Returns the result of using __at_key__ to access the element with key type `Key` in `Seq`. @@ -1448,7 +1448,7 @@ Returns the actual element type associated with a Key from the __sequence__. [*Return type]: Any type. -[*Precondition]: `has_key::type::value == true` (where `Seq` is not __no_bounds_sequence__) +[*Precondition]: `has_key::type::value == true` (where `Seq` is not __unbounded_sequence__) [*Semantics]: Returns the actual element type associated with key type `Key` in `Seq`. diff --git a/doc/support.qbk b/doc/support.qbk index c7c48741..3e3b8a4e 100644 --- a/doc/support.qbk +++ b/doc/support.qbk @@ -228,7 +228,7 @@ And optionally from: { struct associative_tag {}; - struct no_bounds_tag {}; + struct unbounded_tag {}; }} [*Semantics]: Establishes the conceptual classification of a particular diff --git a/include/boost/fusion/sequence/intrinsic/at.hpp b/include/boost/fusion/sequence/intrinsic/at.hpp index 319165b8..a103e078 100644 --- a/include/boost/fusion/sequence/intrinsic/at.hpp +++ b/include/boost/fusion/sequence/intrinsic/at.hpp @@ -67,7 +67,7 @@ namespace boost { namespace fusion : mpl::if_< mpl::or_< mpl::less::template apply::type> - , traits::has_no_bounds + , traits::is_unbounded > , typename extension::at_impl::template apply , mpl::empty_base diff --git a/include/boost/fusion/sequence/intrinsic/at_key.hpp b/include/boost/fusion/sequence/intrinsic/at_key.hpp index e8fa2ade..9454cb56 100644 --- a/include/boost/fusion/sequence/intrinsic/at_key.hpp +++ b/include/boost/fusion/sequence/intrinsic/at_key.hpp @@ -76,7 +76,7 @@ namespace boost { namespace fusion : mpl::if_< mpl::or_< typename extension::has_key_impl::template apply - , traits::has_no_bounds + , traits::is_unbounded > , typename extension::at_key_impl::template apply , mpl::empty_base diff --git a/include/boost/fusion/sequence/intrinsic/value_at.hpp b/include/boost/fusion/sequence/intrinsic/value_at.hpp index 875b4b41..152f0c94 100644 --- a/include/boost/fusion/sequence/intrinsic/value_at.hpp +++ b/include/boost/fusion/sequence/intrinsic/value_at.hpp @@ -62,7 +62,7 @@ namespace boost { namespace fusion : mpl::if_< mpl::or_< mpl::less::template apply::type> - , traits::has_no_bounds + , traits::is_unbounded > , typename extension::value_at_impl::template apply , mpl::empty_base diff --git a/include/boost/fusion/sequence/intrinsic/value_at_key.hpp b/include/boost/fusion/sequence/intrinsic/value_at_key.hpp index 8b3940e7..76baf1b8 100644 --- a/include/boost/fusion/sequence/intrinsic/value_at_key.hpp +++ b/include/boost/fusion/sequence/intrinsic/value_at_key.hpp @@ -65,7 +65,7 @@ namespace boost { namespace fusion : mpl::if_< mpl::or_< typename extension::has_key_impl::template apply - , traits::has_no_bounds + , traits::is_unbounded > , typename extension::value_at_key_impl::template apply , mpl::empty_base diff --git a/include/boost/fusion/support/category_of.hpp b/include/boost/fusion/support/category_of.hpp index 5fa0b3ad..92b0ea1b 100644 --- a/include/boost/fusion/support/category_of.hpp +++ b/include/boost/fusion/support/category_of.hpp @@ -36,7 +36,7 @@ namespace boost { namespace fusion struct associative_tag {}; - struct no_bounds_tag {}; + struct unbounded_tag {}; namespace extension { @@ -111,9 +111,9 @@ namespace boost { namespace fusion {}; template - struct has_no_bounds + struct is_unbounded : is_base_of< - no_bounds_tag + unbounded_tag , typename category_of::type> {}; }