boost/fusion/sequence/io/detail/in.hpp

   1 /*=============================================================================
   2     Copyright (c) 1999-2003 Jaakko Jarvi
   3     Copyright (c) 1999-2003 Jeremiah Willcock
   4     Copyright (c) 2001-2006 Joel de Guzman
   5
   6     Distributed under the Boost Software License, Version 1.0. (See accompanying
   7     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   8 ==============================================================================*/
   9 #if !defined(FUSION_IN_05052005_0121)
  10 #define FUSION_IN_05052005_0121
  11
  12 #include <istream>
  13 #include <boost/fusion/sequence/io/detail/manip.hpp>
  14
  15 #include <boost/mpl/bool.hpp>
  16 #include <boost/fusion/sequence/intrinsic/begin.hpp>
  17 #include <boost/fusion/sequence/intrinsic/end.hpp>
  18 #include <boost/fusion/iterator/deref.hpp>
  19 #include <boost/fusion/iterator/next.hpp>
  20 #include <boost/fusion/iterator/equal_to.hpp>
  21
  22 namespace boost { namespace fusion { namespace detail
  23 {
  24     template <typename Tag>
  25     struct delimiter_in
  26     {
  27         // read a delimiter
  28         template <typename IS>
  29         static void
  30         read(IS& is, char const* delim, mpl::false_ = mpl::false_())
  31         {
  32             detail::string_ios_manip<Tag, IS> manip(is);
  33             manip.read(delim);
  34         }
  35
  36         template <typename IS>
  37         static void
  38         read(IS&, char const*, mpl::true_)
  39         {
  40         }
  41     };
  42
  43     struct read_sequence_loop
  44     {
  45         template <typename IS, typename First, typename Last>
  46         static void
  47         call(IS&, First const&, Last const&, mpl::true_)
  48         {
  49         }
  50
  51         template <typename IS, typename First, typename Last>
  52         static void
  53         call(IS& is, First const& first, Last const& last, mpl::false_)
  54         {
  55             result_of::equal_to<
  56                 typename result_of::next<First>::type
  57               , Last
  58             >
  59             is_last;
  60
  61             is >> *first;
  62             delimiter_in<tuple_delimiter_tag>::read(is, " ", is_last);
  63             call(is, fusion::next(first), last, is_last);
  64         }
  65
  66         template <typename IS, typename First, typename Last>
  67         static void
  68         call(IS& is, First const& first, Last const& last)
  69         {
  70             result_of::equal_to<First, Last> eq;
  71             call(is, first, last, eq);
  72         }
  73     };
  74
  75     template <typename IS, typename Sequence>
  76     inline void
  77     read_sequence(IS& is, Sequence& seq)
  78     {
  79         delimiter_in<tuple_open_tag>::read(is, "(");
  80         read_sequence_loop::call(is, fusion::begin(seq), fusion::end(seq));
  81         delimiter_in<tuple_close_tag>::read(is, ")");
  82     }
  83 }}}
  84
  85 #endif