//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>
#define DEMANGLE_TYPE(TYPE) utility::demangled_type_name<TYPE>()
#define DEMANGLE_EXPR(EXPR) utility::demangled_type_name(EXPR)
#else
#include <typeinfo>
#define DEMANGLE_TYPE(TYPE) typeid(TYPE).name()
#define DEMANGLE_EXPR(EXPR) DEMANGLE_TYPE(EXPR)
#endif

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

template<typename T>
struct value
{
        typedef
    //#define USE_VALUE_T
    #ifdef USE_VALUE_T
      value<T>
    #else
      double
    #endif
    type;
};

int main()
{
    typedef mpl::vector<
      copy_constructible<_a>,
      copy_constructible<_b>
    > ConceptAB;
      std::cout<<"ConceptAB="
        <<DEMANGLE_TYPE(ConceptAB)
        <<"\n";
    
      std::cout<<"value<_a>::type="
        <<DEMANGLE_TYPE(value<_a>::type)
        <<"\n";
    
      std::cout<<"value<_b>::type="
        <<DEMANGLE_TYPE(value<_b>::type)
        <<"\n";
    
    typedef mpl::map<
        mpl::pair<_a, value<_a>::type >,
        mpl::pair<_b, value<_b>::type >
    > 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>::type 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="
      <<DEMANGLE_EXPR(b_binding)
      <<"\n";

    typedef any< ConceptAB, _a
    > AnyA;
    std::cout<<"creating a_any\n";
    value<_a>::type a_valu;
      AnyA 
    a_any
    //#define USE_B_BINDING
    #ifdef USE_B_BINDING
      ( b_binding,a_valu)
    #else
      ( a_valu,bindings_made)
    #endif
      ;

    ab_binding_t const&a_binding=binding_of(a_any);
    std::cout<<"a_binding="
      <<DEMANGLE_EXPR(a_binding)
      <<"\n";

    return 0;
}