Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2005-2007 Dan Marsden
Chris@16:     Copyright (c) 2005-2007 Joel de Guzman
Chris@16: 
Chris@16:     Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: ==============================================================================*/
Chris@16: 
Chris@16: #ifndef PHOENIX_STATEMENT_TRY_CATCH_HPP
Chris@16: #define PHOENIX_STATEMENT_TRY_CATCH_HPP
Chris@16: 
Chris@16: #include <boost/spirit/home/phoenix/core/actor.hpp>
Chris@16: #include <boost/spirit/home/phoenix/core/composite.hpp>
Chris@16: 
Chris@16: #include <boost/fusion/include/push_back.hpp>
Chris@16: #include <boost/fusion/include/as_vector.hpp>
Chris@16: 
Chris@16: #include <boost/spirit/home/phoenix/statement/detail/catch_composite.hpp>
Chris@16: #include <boost/spirit/home/phoenix/statement/detail/catch_eval.hpp>
Chris@16: #include <boost/spirit/home/phoenix/statement/detail/catch_all_eval.hpp>
Chris@16: 
Chris@16: #if defined(BOOST_MSVC)
Chris@16: # pragma warning(push)
Chris@16: # pragma warning(disable:4355)
Chris@16: #endif
Chris@16: 
Chris@16: namespace boost { namespace phoenix {
Chris@16: 
Chris@16:     template<typename Tuple> struct try_catch_composite;
Chris@16: 
Chris@16:     namespace meta
Chris@16:     {
Chris@16:         template<typename Composite, typename Actor>
Chris@16:         struct try_catch_composite_push_back
Chris@16:         {
Chris@16:             typedef typename Composite::base_type actor_tuple;
Chris@16:             typedef try_catch_composite<
Chris@16:                 typename fusion::result_of::as_vector<
Chris@16:                 typename fusion::result_of::push_back<
Chris@16:                 actor_tuple, Actor>::type>::type> type;
Chris@16:         };
Chris@16: 
Chris@16:         template<typename Composite, typename Actor>
Chris@16:         struct catch_all_composite_push_back
Chris@16:         {
Chris@16:             typedef typename Composite::base_type actor_tuple;
Chris@16: 
Chris@16:             typedef composite<
Chris@16:                 catch_all_eval,
Chris@16:                 typename fusion::result_of::as_vector<
Chris@16:                 typename fusion::result_of::push_back<
Chris@16:                 actor_tuple, Actor>::type>::type> type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         struct try_catch_composite_push_back
Chris@16:         {
Chris@16:             template<typename Composite, typename Actor>
Chris@16:             struct result
Chris@16:                 : meta::try_catch_composite_push_back<Composite, Actor>
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Composite, typename Actor>
Chris@16:             typename result<Composite, Actor>::type
Chris@16:             operator()(
Chris@16:                 const Composite& composite, const Actor& actor) const
Chris@16:             {
Chris@16:                 typedef typename result<Composite, Actor>::type result;
Chris@16:                 return result(
Chris@16:                     fusion::as_vector(
Chris@16:                         fusion::push_back(composite, actor)));
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         struct catch_all_composite_push_back
Chris@16:         {
Chris@16:             template<typename Composite, typename Actor>
Chris@16:             struct result
Chris@16:                 : meta::catch_all_composite_push_back<Composite, Actor>
Chris@16:             {};
Chris@16: 
Chris@16:             template<typename Composite, typename Actor>
Chris@16:             typename result<Composite, Actor>::type
Chris@16:             operator()(
Chris@16:                 const Composite& composite, const Actor& actor) const
Chris@16:             {
Chris@16:                 typedef typename result<Composite, Actor>::type result;
Chris@16:                 return result(
Chris@16:                     fusion::as_vector(
Chris@16:                         fusion::push_back(composite, actor)));
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:     }
Chris@16: 
Chris@16:     detail::try_catch_composite_push_back const try_catch_composite_push_back
Chris@16:         = detail::try_catch_composite_push_back();
Chris@16:     detail::catch_all_composite_push_back const catch_all_composite_push_back
Chris@16:         = detail::catch_all_composite_push_back();
Chris@16: 
Chris@16:     template<typename Exception, typename SourceComposite>
Chris@16:     struct catch_gen
Chris@16:     {
Chris@16:         explicit catch_gen(
Chris@16:             const SourceComposite& sourceComposite)
Chris@16:             : mSourceComposite(sourceComposite) { }
Chris@16: 
Chris@16:         template<typename Actor>
Chris@16:         actor<typename meta::try_catch_composite_push_back<
Chris@16:             SourceComposite,
Chris@16:             detail::catch_composite<Exception, Actor> >::type>
Chris@16:         operator[](const Actor& actor) const
Chris@16:         {
Chris@16:             return try_catch_composite_push_back(
Chris@16:                 mSourceComposite, detail::catch_composite<Exception, Actor>(actor));
Chris@16:         }
Chris@16: 
Chris@16:         const SourceComposite& mSourceComposite;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename SourceComposite>
Chris@16:     struct catch_all_gen
Chris@16:     {
Chris@16:         explicit catch_all_gen(
Chris@16:             const SourceComposite& sourceComposite)
Chris@16:             : mSourceComposite(sourceComposite) { }
Chris@16: 
Chris@16:         template<typename Actor>
Chris@16:         actor<typename meta::catch_all_composite_push_back<SourceComposite, Actor>::type>
Chris@16:         operator[](const Actor& actor) const
Chris@16:         {
Chris@16:             return catch_all_composite_push_back(
Chris@16:                 mSourceComposite, actor);
Chris@16:         }
Chris@16: 
Chris@16:         const SourceComposite& mSourceComposite;
Chris@16:     };
Chris@16: 
Chris@16:     template<typename Tuple>
Chris@16:     struct try_catch_composite
Chris@16:         : composite<catch_eval, Tuple>
Chris@16:     {
Chris@16:         explicit try_catch_composite(
Chris@16:             const Tuple& t)
Chris@16:             :
Chris@16:             composite<catch_eval, Tuple>(t),
Chris@16:             catch_all(*this) { }
Chris@16: 
Chris@16:         try_catch_composite(
Chris@16:             const try_catch_composite& rhs)
Chris@16:             : composite<catch_eval, Tuple>(rhs),
Chris@16:               catch_all(*this) { }
Chris@16: 
Chris@16:         template<typename Exception>
Chris@16:         catch_gen<Exception, try_catch_composite> catch_() const
Chris@16:         {
Chris@16:             return catch_gen<Exception, try_catch_composite>(
Chris@16:                 *this);
Chris@16:         }
Chris@16: 
Chris@16:         const catch_all_gen<try_catch_composite> catch_all;
Chris@16: 
Chris@16:     private:
Chris@16:         try_catch_composite& operator=(const try_catch_composite&);
Chris@16:     };
Chris@16: 
Chris@16:     struct try_gen
Chris@16:     {
Chris@16:         template<typename Try>
Chris@16:         try_catch_composite<fusion::vector<Try> > operator[](
Chris@16:             const Try& try_) const
Chris@16:         {
Chris@16:             typedef fusion::vector<Try> tuple_type;
Chris@16:             return try_catch_composite<tuple_type>(
Chris@16:                 tuple_type(try_));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     try_gen const try_ = try_gen();
Chris@16: }}
Chris@16: 
Chris@16: #if defined(BOOST_MSVC)
Chris@16: # pragma warning(pop)
Chris@16: #endif
Chris@16: 
Chris@16: #endif