#ifndef BOOST_SERIALIZATION_VARIANT_HPP

#define BOOST_SERIALIZATION_VARIANT_HPP



// MS compatible compilers support #pragma once

#if defined(_MSC_VER) && (_MSC_VER >= 1020)

# pragma once

#endif



#if defined(_MSC_VER) && (_MSC_VER <= 1020)

#  pragma warning (disable : 4786) // too long name, harmless warning

#endif



/////////1/////////2/////////3/////////4/////////5/////////6/////////7/////////8

// variant.hpp - non-intrusive serialization of variant types

//

// copyright (c) 2005   

// troy d. straszheim <troy@resophonic.com>

// http://www.resophonic.com

//

// Use, modification and distribution is subject to the Boost Software

// License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at

// http://www.boost.org/LICENSE_1_0.txt)

//

// See http://www.boost.org for updates, documentation, and revision history.

//

// thanks to Robert Ramey, Peter Dimov, and Richard Crossley.

//



#include <boost/mpl/front.hpp>

#include <boost/mpl/pop_front.hpp>

#include <boost/mpl/eval_if.hpp>

#include <boost/mpl/identity.hpp>

#include <boost/mpl/size.hpp>

#include <boost/mpl/empty.hpp>



#include <boost/throw_exception.hpp>



#include <boost/variant.hpp>



#include <boost/archive/archive_exception.hpp>



#include <boost/serialization/split_free.hpp>

#include <boost/serialization/serialization.hpp>



namespace boost {

namespace serialization {



template<class Archive>

struct variant_save_visitor : boost::static_visitor<> {

    variant_save_visitor(Archive& ar) :

        m_ar(ar)

    {}

    template<class T>

    void operator()(T const & value) const

    {

        m_ar << BOOST_SERIALIZATION_NVP(value);

    }

private:

    Archive & m_ar;

};



template<class Archive, BOOST_VARIANT_ENUM_PARAMS(/* typename */ class T)>

void save(

    Archive & ar,

    boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> const & v,

    unsigned int version

){

    int which = v.which();

    ar << BOOST_SERIALIZATION_NVP(which);

    typedef BOOST_DEDUCED_TYPENAME  boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>::types types;

    variant_save_visitor<Archive> visitor(ar);

    v.apply_visitor(visitor);

}



template<class S>

struct variant_impl {



    struct load_null {

        template<class Archive, class V>

        static void invoke(

            Archive & ar,

            int which,

            V & v,

            unsigned int version

        ){}

    };



    struct load_impl {

        template<class Archive, class V>

        static void invoke(

            Archive & ar,

            int which,

            V & v,

            unsigned int version

        ){

            if(which == 0){

                // note: A non-intrusive implementation (such as this one)

                // necessary has to copy the value.  This wouldn't be necessary

                // with an implementation that de-serialized to the address of the

                // aligned storage included in the variant.

                typedef BOOST_DEDUCED_TYPENAME mpl::front<S>::type head_type;

                head_type value;

                ar >> BOOST_SERIALIZATION_NVP(value);

                v = value;

                ar.reset_object_address(& boost::get<head_type>(v), & value);

                return;

            }

            typedef BOOST_DEDUCED_TYPENAME mpl::pop_front<S>::type type;

            variant_impl<type>::load(ar, which - 1, v, version);

        }

    };



    template<class Archive, class V>

    static void load(

        Archive & ar,

        int which,

        V & v,

        unsigned int version

    ){

        typedef BOOST_DEDUCED_TYPENAME mpl::eval_if<mpl::empty<S>,

            mpl::identity<load_null>,

            mpl::identity<load_impl>

        >::type typex;

        typex::invoke(ar, which, v, version);

    }



};



template<class Archive, BOOST_VARIANT_ENUM_PARAMS(/* typename */ class T)>

void load(

    Archive & ar, 

    boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>& v,

    unsigned int version

){

    int which;

    typedef BOOST_DEDUCED_TYPENAME boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>::types types;

    ar >> BOOST_SERIALIZATION_NVP(which);

    if(which >=  mpl::size<types>::value)

        // this might happen if a type was removed from the list of variant types

        boost::throw_exception(

            boost::archive::archive_exception(

                boost::archive::archive_exception::unsupported_version

            )

        );

    variant_impl<types>::load(ar, which, v, version);

}



template<class Archive,BOOST_VARIANT_ENUM_PARAMS(/* typename */ class T)>

inline void serialize(

    Archive & ar,

    boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> & v,

    unsigned int file_version

){

    split_free(ar,v,file_version);

}



} // namespace serialization

} // namespace boost



#endif //BOOST_SERIALIZATION_VARIANT_HPP



