#ifndef BOOST_UTILITY_DEMANGLED_TYPE_NAME_HPP
#define BOOST_UTILITY_DEMANGLED_TYPE_NAME_HPP
#include <boost/utility/compiler/demangled_typeinfo_name.hpp>
#include <boost/type_traits/is_const.hpp>
#include <boost/type_traits/is_volatile.hpp>
#include <typeinfo>
#if defined(CXX0X_VARIADIC_TEMPLATES) && defined(BOOST_USE_MPL_VARIADIC_TEMPLATES)
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/package.hpp>
#endif
namespace utility
{
      inline
    std::string
  demangled_type_info
    ( std::type_info const& a_type_info
    , std::string a_qual=""
    )
    {
    ; std::string demangled(compiler::demangled_typeinfo_name(a_type_info))
    //Because type_info contains no outermost cv qualifiers,
    //must append them if they exist:
    ; demangled+=a_qual
    ; return demangled
    ;}
  template<typename Type>
      inline
    std::string
  demangled_type_name(void)
    {
    ; std::type_info const& my_typeinfo(typeid(Type))
    ; std::string my_qual("");
    ; if(boost::is_const<Type>::value)
      {
      ;  my_qual=" const"
      ;}
    ; if(boost::is_volatile<Type>::value)
      {
      ;  my_qual=" volatile"
      ;}
    ; return demangled_type_info(my_typeinfo,my_qual)
    ;}
  template<typename Type>
      inline
    std::string
  demangled_type_name
#if defined(CXX0X_VARIADIC_TEMPLATES) && defined(BOOST_USE_MPL_VARIADIC_TEMPLATES)
    ( Type&& a_type
    )
    { 
    ; return demangled_type_name<typename std::remove_reference<Type>::type>()
    ;}
#else
    ( Type& a_type
    )
    { 
    ; return demangled_type_name<Type>()
    ;}
#endif    
#if defined(CXX0X_VARIADIC_TEMPLATES) && defined(BOOST_USE_MPL_VARIADIC_TEMPLATES)
struct demangler
{
    std::string& demangled;
    unsigned count;
    demangler(std::string&d)
    : demangled(d)
    , count(0)
    {}
    ~demangler()
    {
    }
      template<typename T>
    void operator()(T)
    {
        if(count++) demangled+=", ";
        demangled+=demangled_type_name<T>();
    }
};
      
  template<typename... Type>
      inline
    std::string
  demangled_type_names()
    {
    ; std::string demangled("{ ");
    ; demangler f(demangled)
    ; boost::mpl::for_each<boost::mpl::package<typename std::remove_reference<Type>::type...> >(f)
    ; demangled+="}\n";
    ; return demangled
    ;}
  template<typename... Type>
      inline
    std::string
  demangled_type_names(Type&&...)
    {
    ; return demangled_type_names<Type&&...>()
    ;}
#endif
}//exit utility namespace
#endif