Chris@16: 
Chris@16: // NO INCLUDE GUARDS, THE HEADER IS INTENDED FOR MULTIPLE INCLUSION
Chris@16: 
Chris@16: #if defined(BOOST_PP_IS_ITERATING)
Chris@16: 
Chris@16: // Copyright Aleksey Gurtovoy 2000-2004
Chris@16: //
Chris@16: // Distributed under the Boost Software License, Version 1.0. 
Chris@16: // (See accompanying file LICENSE_1_0.txt or copy at 
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: // See http://www.boost.org/libs/mpl for documentation.
Chris@16: 
Chris@101: // $Id$
Chris@101: // $Date$
Chris@101: // $Revision$
Chris@16: 
Chris@16: #include <boost/preprocessor/enum_params.hpp>
Chris@16: #include <boost/preprocessor/enum_shifted_params.hpp>
Chris@16: #include <boost/preprocessor/comma_if.hpp>
Chris@16: #include <boost/preprocessor/repeat.hpp>
Chris@16: #include <boost/preprocessor/dec.hpp>
Chris@16: #include <boost/preprocessor/cat.hpp>
Chris@16: 
Chris@16: #define i_ BOOST_PP_FRAME_ITERATION(1)
Chris@16: 
Chris@16: #if defined(BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES)
Chris@16: 
Chris@16: #   define AUX778076_VECTOR_TAIL(vector, i_, T) \
Chris@16:     BOOST_PP_CAT(vector,i_)< \
Chris@16:           BOOST_PP_ENUM_PARAMS(i_, T) \
Chris@16:         > \
Chris@16:     /**/
Chris@16: 
Chris@16: #if i_ > 0
Chris@16: template<
Chris@16:       BOOST_PP_ENUM_PARAMS(i_, typename T)
Chris@16:     >
Chris@16: struct BOOST_PP_CAT(vector,i_)
Chris@16:     : v_item<
Chris@16:           BOOST_PP_CAT(T,BOOST_PP_DEC(i_))
Chris@16:         , AUX778076_VECTOR_TAIL(vector,BOOST_PP_DEC(i_),T)
Chris@16:         >
Chris@16: {
Chris@16:     typedef BOOST_PP_CAT(vector,i_) type;
Chris@16: };
Chris@16: #endif
Chris@16: 
Chris@16: #   undef AUX778076_VECTOR_TAIL
Chris@16: 
Chris@16: #else // "brute force" implementation
Chris@16: 
Chris@16: #   if i_ > 0
Chris@16: 
Chris@16: template<
Chris@16:       BOOST_PP_ENUM_PARAMS(i_, typename T)
Chris@16:     >
Chris@16: struct BOOST_PP_CAT(vector,i_)
Chris@16: {
Chris@16:     typedef aux::vector_tag<i_> tag;
Chris@16:     typedef BOOST_PP_CAT(vector,i_) type;
Chris@16: 
Chris@16: #   define AUX778076_VECTOR_ITEM(unused, i_, unused2) \
Chris@16:     typedef BOOST_PP_CAT(T,i_) BOOST_PP_CAT(item,i_); \
Chris@16:     /**/
Chris@16: 
Chris@16:     BOOST_PP_REPEAT(i_, AUX778076_VECTOR_ITEM, unused)
Chris@16: #   undef AUX778076_VECTOR_ITEM
Chris@16:     typedef void_ BOOST_PP_CAT(item,i_);
Chris@16:     typedef BOOST_PP_CAT(T,BOOST_PP_DEC(i_)) back;
Chris@16: 
Chris@16:     // Borland forces us to use 'type' here (instead of the class name)
Chris@16:     typedef v_iter<type,0> begin;
Chris@16:     typedef v_iter<type,i_> end;
Chris@16: };
Chris@16: 
Chris@16: template<>
Chris@16: struct push_front_impl< aux::vector_tag<BOOST_PP_DEC(i_)> >
Chris@16: {
Chris@16:     template< typename Vector, typename T > struct apply
Chris@16:     {
Chris@16:         typedef BOOST_PP_CAT(vector,i_)<
Chris@16:               T
Chris@16:               BOOST_PP_COMMA_IF(BOOST_PP_DEC(i_))
Chris@16:               BOOST_PP_ENUM_PARAMS(BOOST_PP_DEC(i_), typename Vector::item)
Chris@16:             > type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: template<>
Chris@16: struct pop_front_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16:     template< typename Vector > struct apply
Chris@16:     {
Chris@16:         typedef BOOST_PP_CAT(vector,BOOST_PP_DEC(i_))<
Chris@16:               BOOST_PP_ENUM_SHIFTED_PARAMS(i_, typename Vector::item)
Chris@16:             > type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: 
Chris@16: template<>
Chris@16: struct push_back_impl< aux::vector_tag<BOOST_PP_DEC(i_)> >
Chris@16: {
Chris@16:     template< typename Vector, typename T > struct apply
Chris@16:     {
Chris@16:         typedef BOOST_PP_CAT(vector,i_)<
Chris@16:               BOOST_PP_ENUM_PARAMS(BOOST_PP_DEC(i_), typename Vector::item)
Chris@16:               BOOST_PP_COMMA_IF(BOOST_PP_DEC(i_))
Chris@16:               T
Chris@16:             > type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: template<>
Chris@16: struct pop_back_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16:     template< typename Vector > struct apply
Chris@16:     {
Chris@16:         typedef BOOST_PP_CAT(vector,BOOST_PP_DEC(i_))<
Chris@16:               BOOST_PP_ENUM_PARAMS(BOOST_PP_DEC(i_), typename Vector::item)
Chris@16:             > type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: #   endif // i_ > 0
Chris@16: 
Chris@16: #   if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) \
Chris@16:     && !defined(BOOST_MPL_CFG_NO_NONTYPE_TEMPLATE_PARTIAL_SPEC)
Chris@16: 
Chris@16: template< typename V >
Chris@16: struct v_at<V,i_>
Chris@16: {
Chris@16:     typedef typename V::BOOST_PP_CAT(item,i_) type;
Chris@16: };
Chris@16: 
Chris@16: #   else
Chris@16: 
Chris@16: namespace aux {
Chris@16: template<> struct v_at_impl<i_>
Chris@16: {
Chris@16:     template< typename V_ > struct result_
Chris@16:     {
Chris@16:         typedef typename V_::BOOST_PP_CAT(item,i_) type;
Chris@16:     };
Chris@16: };
Chris@16: }
Chris@16: 
Chris@16: template<>
Chris@16: struct at_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16:     template< typename V_, typename N > struct apply
Chris@16:     {
Chris@16:         typedef typename aux::v_at_impl<BOOST_MPL_AUX_VALUE_WKND(N)::value>
Chris@16:             ::template result_<V_>::type type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: #if i_ > 0
Chris@16: template<>
Chris@16: struct front_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16:     template< typename Vector > struct apply
Chris@16:     {
Chris@16:         typedef typename Vector::item0 type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: template<>
Chris@16: struct back_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16:     template< typename Vector > struct apply
Chris@16:     {
Chris@16:         typedef typename Vector::back type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: template<>
Chris@16: struct empty_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16:     template< typename Vector > struct apply
Chris@16:         : false_
Chris@16:     {
Chris@16:     };
Chris@16: };
Chris@16: #endif
Chris@16: 
Chris@16: template<>
Chris@16: struct size_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16:     template< typename Vector > struct apply
Chris@16:         : long_<i_>
Chris@16:     {
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: template<>
Chris@16: struct O1_size_impl< aux::vector_tag<i_> >
Chris@16:     : size_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template<>
Chris@16: struct clear_impl< aux::vector_tag<i_> >
Chris@16: {
Chris@16:     template< typename Vector > struct apply
Chris@16:     {
Chris@16:         typedef vector0<> type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: #   endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
Chris@16: 
Chris@16: #endif // BOOST_MPL_CFG_TYPEOF_BASED_SEQUENCES
Chris@16: 
Chris@16: #undef i_
Chris@16: 
Chris@16: #endif // BOOST_PP_IS_ITERATING