//Purpose:
//  Test rebind_any
//
#include <iostream>
#include <boost/type_erasure/any.hpp>
#include <boost/type_erasure/any_cast.hpp>
#include <boost/type_erasure/binding_of.hpp>
#include <boost/type_erasure/typeid_of.hpp>
#include <boost/type_erasure/builtin.hpp>
#include <boost/type_erasure/operators.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/any.hpp>
//#define USE_DEMANGLED
#ifdef USE_DEMANGLED
#include <boost/utility/demangled_type_name.hpp>
#else
#include <typeinfo>
#endif

namespace mpl = boost::mpl;
using namespace boost::type_erasure;

template<typename T>
struct value
{
};

int main()
{
    typedef mpl::vector<
      copy_constructible<_a>,
      copy_constructible<_b>
    > ConceptAB;
      std::cout<<"ConceptAB="
      #ifdef USE_DEMANGLED
        <<utility::demangled_type_name<ConceptAB>()
      #else
        <<typeid(ConceptAB).name()
      #endif
        <<"\n";
    
    typedef mpl::map<
        mpl::pair<_a, value<_a> >,
        mpl::pair<_b, value<_b> >
    > bindings_map_t;
    static_binding<bindings_map_t> bindings_made=make_binding<bindings_map_t>();

    typedef any< ConceptAB, _b
    > AnyB;
    
    std::cout<<"creating b_any\n";
    value<_b> b_valu;
    AnyB b_any(b_valu,bindings_made);

    typedef binding<ConceptAB> ab_binding_t;
    ab_binding_t const& b_binding=binding_of(b_any);
    std::cout<<"b_binding="
    #ifdef USE_DEMANGLED
      <<utility::demangled_type_name(b_binding)
    #else
      <<typeid(b_binding).name()
    #endif
      <<"\n";

    typedef any< ConceptAB, _a
    > AnyA;
  #define CREATE_A
  #ifdef CREATE_A  
    std::cout<<"creating a_any\n";
    value<_a> a_valu;
    AnyA a_any(b_binding,a_valu);

    ab_binding_t const&a_binding=binding_of(a_any);
    std::cout<<"a_binding="
    #ifdef USE_DEMANGLED
      <<utility::demangled_type_name(a_binding)
    #else
      <<typeid(a_binding).name()
    #endif
      <<"\n";
  #endif
    return 0;
}