+2011-11-03 Benjamin Kosnik <bkoz@redhat.com>
+
+ * doc/doxygen/doxygroups.cc: Add markup for namespace tr2.
+ * include/tr2/bool_set: Adjust doxygen markup.
+ * include/tr2/dynamic_bitset: Same.
+ * include/tr2/type_traits: Same.
+
2011-11-03 Benjamin Kosnik <bkoz@redhat.com>
* doc/html/*: Regenerate.
/*
- Copyright (C) 2001, 2002, 2005, 2008, 2009, 2010
+ Copyright (C) 2001, 2002, 2005, 2008, 2009, 2010, 2011
Free Software Foundation, Inc.
See license.html for license.
/** @namespace std::tr1::__detail
* @brief Implementation details not part of the namespace std::tr1 interface.
*/
+/** @namespace std::tr2
+ * @brief ISO C++ TR2 entities toplevel namespace is std::tr2.
+*/
+/** @namespace std::tr2::__detail
+ * @brief Implementation details not part of the namespace std::tr2 interface.
+*/
/** @namespace __gnu_cxx
* @brief GNU extensions for public use.
*/
* This is a TR2 C++ Library header.
*/
-//
-// Sort of an implementation of bool_set in n2136 Hervé Brönnimann,
-// Guillaume Melquiond, Sylvain Pion.
-//
-// The implicit conversion to bool is slippery! I may use the new
-// explicit conversion. This has been specialized in the language so
-// that in contexts requiring a bool the conversion happens
-// implicitly. Thus most objections should be eliminated.
-//
-
#ifndef _GLIBCXX_TR2_BOOL_SET
#define _GLIBCXX_TR2_BOOL_SET 1
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION
+ /**
+ * bool_set
+ *
+ * See N2136, Bool_set: multi-valued logic
+ * by Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion.
+ *
+ * The implicit conversion to bool is slippery! I may use the new
+ * explicit conversion. This has been specialized in the language
+ * so that in contexts requiring a bool the conversion happens
+ * implicitly. Thus most objections should be eliminated.
+ */
class bool_set
{
public:
/// Constructor from bool.
bool_set(bool __t) : _M_b(_Bool_set_val(__t)) { }
- ///
// I'm not sure about this.
bool contains(bool_set __b) const
{ return this->is_singleton() && this->equals(__b); }
}
void
- _M_assign(const __dynamic_bitset_base<block_type, allocator_type>& __b)
+ _M_assign(const __dynamic_bitset_base& __b)
{ this->_M_w = __b._M_w; }
void
- _M_swap(__dynamic_bitset_base<block_type, allocator_type>& __b)
+ _M_swap(__dynamic_bitset_base& __b)
{ this->_M_w.swap(__b._M_w); }
void
{ return this->_M_w[_M_w.size() - 1]; }
void
- _M_do_and(const __dynamic_bitset_base<block_type, allocator_type>& __x)
+ _M_do_and(const __dynamic_bitset_base& __x)
{
if (__x._M_w.size() == this->_M_w.size())
for (size_t __i = 0; __i < this->_M_w.size(); ++__i)
}
void
- _M_do_or(const __dynamic_bitset_base<block_type, allocator_type>& __x)
+ _M_do_or(const __dynamic_bitset_base& __x)
{
if (__x._M_w.size() == this->_M_w.size())
for (size_t __i = 0; __i < this->_M_w.size(); ++__i)
}
void
- _M_do_xor(const __dynamic_bitset_base<block_type, allocator_type>& __x)
+ _M_do_xor(const __dynamic_bitset_base& __x)
{
if (__x._M_w.size() == this->_M_w.size())
for (size_t __i = 0; __i < this->_M_w.size(); ++__i)
}
void
- _M_do_dif(const __dynamic_bitset_base<block_type, allocator_type>& __x)
+ _M_do_dif(const __dynamic_bitset_base& __x)
{
if (__x._M_w.size() == this->_M_w.size())
for (size_t __i = 0; __i < this->_M_w.size(); ++__i)
}
bool
- _M_is_equal(const __dynamic_bitset_base<block_type, allocator_type>& __x) const
+ _M_is_equal(const __dynamic_bitset_base& __x) const
{
if (__x.size() == this->size())
{
}
bool
- _M_is_less(const __dynamic_bitset_base<block_type, allocator_type>& __x) const
+ _M_is_less(const __dynamic_bitset_base& __x) const
{
if (__x.size() == this->size())
{
}
bool
- _M_is_subset_of(const __dynamic_bitset_base<block_type, allocator_type>& __b)
+ _M_is_subset_of(const __dynamic_bitset_base& __b)
{
if (__b.size() == this->size())
{
}
bool
- _M_is_proper_subset_of(const __dynamic_bitset_base<block_type, allocator_type>& __b) const
+ _M_is_proper_subset_of(const __dynamic_bitset_base& __b) const
{
if (this->is_subset_of(__b))
{
this->_M_w[__wshift] = this->_M_w[0] << __offset;
}
- ////std::fill(this->_M_w.begin(), this->_M_w.begin() + __wshift,
+ //// std::fill(this->_M_w.begin(), this->_M_w.begin() + __wshift,
//// static_cast<_WordT>(0));
}
}
* @defgroup metaprogramming Type Traits
* @ingroup utilities
*
- * Compile time type transformation and information.
* @{
*/
+ /**
+ * See N2965: Type traits and base classes
+ * by Michael Spertus
+ */
+
+ /**
+ * Simple typelist. Compile-time list of types.
+ */
template<typename... _Elements>
struct typelist;
+ /// Specialization for an empty typelist.
template<>
struct typelist<>
{
typedef std::true_type empty;
};
+ /// Partial specialization.
template<typename _First, typename... _Rest>
struct typelist<_First, _Rest...>
{
};
};
- // Sequence abstraction metafunctions default to looking in the type
+ /// Sequence abstraction metafunctions for manipulating a typelist.
+
+
+ /// Return the first type in a typelist.
template<typename _Tp>
struct first : public _Tp::first { };
+ /// Return the typelist minus the first type.
template<typename _Tp>
struct rest : public _Tp::rest { };
+ /// Query to see if a typelist is empty.
template<typename _Tp>
struct empty : public _Tp::empty { };
+ /// Enumerate all the base classes of a class. Form of a typelist.
template<typename _Tp>
struct bases
{
typedef typelist<__bases(_Tp)...> type;
};
+ /// Enumerate all the direct base classes of a class. Form of a typelist.
template<typename _Tp>
struct direct_bases
{