Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2001-2011 Joel de Guzman
Chris@16:     Copyright (c) 2001-2011 Hartmut Kaiser
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: #if !defined(SPIRIT_REPEAT_NOVEMBER_14_2008_1148AM)
Chris@16: #define SPIRIT_REPEAT_NOVEMBER_14_2008_1148AM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/spirit/home/qi/meta_compiler.hpp>
Chris@16: #include <boost/spirit/home/qi/parser.hpp>
Chris@16: #include <boost/spirit/home/qi/auxiliary/lazy.hpp>
Chris@16: #include <boost/spirit/home/qi/operator/kleene.hpp>
Chris@16: #include <boost/spirit/home/support/container.hpp>
Chris@16: #include <boost/spirit/home/support/common_terminals.hpp>
Chris@16: #include <boost/spirit/home/qi/detail/attributes.hpp>
Chris@16: #include <boost/spirit/home/qi/detail/fail_function.hpp>
Chris@16: #include <boost/spirit/home/qi/detail/pass_container.hpp>
Chris@16: #include <boost/spirit/home/support/info.hpp>
Chris@16: #include <boost/spirit/home/support/has_semantic_action.hpp>
Chris@16: #include <boost/spirit/home/support/handles_container.hpp>
Chris@16: #include <boost/fusion/include/at.hpp>
Chris@16: #include <vector>
Chris@16: 
Chris@16: namespace boost { namespace spirit
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Enablers
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <>
Chris@16:     struct use_directive<qi::domain, tag::repeat>   // enables repeat[p]
Chris@16:       : mpl::true_ {};
Chris@16: 
Chris@16:     template <typename T>
Chris@16:     struct use_directive<qi::domain
Chris@16:       , terminal_ex<tag::repeat                     // enables repeat(exact)[p]
Chris@16:         , fusion::vector1<T> >
Chris@16:     > : mpl::true_ {};
Chris@16: 
Chris@16:     template <typename T>
Chris@16:     struct use_directive<qi::domain
Chris@16:       , terminal_ex<tag::repeat                     // enables repeat(min, max)[p]
Chris@16:         , fusion::vector2<T, T> >
Chris@16:     > : mpl::true_ {};
Chris@16: 
Chris@16:     template <typename T>
Chris@16:     struct use_directive<qi::domain
Chris@16:       , terminal_ex<tag::repeat                     // enables repeat(min, inf)[p]
Chris@16:         , fusion::vector2<T, inf_type> >
Chris@16:     > : mpl::true_ {};
Chris@16: 
Chris@16:     template <>                                     // enables *lazy* repeat(exact)[p]
Chris@16:     struct use_lazy_directive<
Chris@16:         qi::domain
Chris@16:       , tag::repeat
Chris@16:       , 1 // arity
Chris@16:     > : mpl::true_ {};
Chris@16: 
Chris@16:     template <>                                     // enables *lazy* repeat(min, max)[p]
Chris@16:     struct use_lazy_directive<                      // and repeat(min, inf)[p]
Chris@16:         qi::domain
Chris@16:       , tag::repeat
Chris@16:       , 2 // arity
Chris@16:     > : mpl::true_ {};
Chris@16: }}
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace qi
Chris@16: {
Chris@16: #ifndef BOOST_SPIRIT_NO_PREDEFINED_TERMINALS
Chris@16:     using spirit::repeat;
Chris@16:     using spirit::inf;
Chris@16: #endif
Chris@16:     using spirit::repeat_type;
Chris@16:     using spirit::inf_type;
Chris@16: 
Chris@16:     template <typename T>
Chris@16:     struct exact_iterator // handles repeat(exact)[p]
Chris@16:     {
Chris@16:         exact_iterator(T const exact_)
Chris@16:           : exact(exact_) {}
Chris@16: 
Chris@16:         typedef T type;
Chris@16:         T start() const { return 0; }
Chris@16:         bool got_max(T i) const { return i >= exact; }
Chris@16:         bool got_min(T i) const { return i >= exact; }
Chris@16: 
Chris@16:         T const exact;
Chris@16: 
Chris@16:     private:
Chris@16:         // silence MSVC warning C4512: assignment operator could not be generated
Chris@16:         exact_iterator& operator= (exact_iterator const&);
Chris@16:     };
Chris@16: 
Chris@16:     template <typename T>
Chris@16:     struct finite_iterator // handles repeat(min, max)[p]
Chris@16:     {
Chris@16:         finite_iterator(T const min_, T const max_)
Chris@16:           : min BOOST_PREVENT_MACRO_SUBSTITUTION (min_)
Chris@16:           , max BOOST_PREVENT_MACRO_SUBSTITUTION (max_) {}
Chris@16: 
Chris@16:         typedef T type;
Chris@16:         T start() const { return 0; }
Chris@16:         bool got_max(T i) const { return i >= max; }
Chris@16:         bool got_min(T i) const { return i >= min; }
Chris@16: 
Chris@16:         T const min;
Chris@16:         T const max;
Chris@16: 
Chris@16:     private:
Chris@16:         // silence MSVC warning C4512: assignment operator could not be generated
Chris@16:         finite_iterator& operator= (finite_iterator const&);
Chris@16:     };
Chris@16: 
Chris@16:     template <typename T>
Chris@16:     struct infinite_iterator // handles repeat(min, inf)[p]
Chris@16:     {
Chris@16:         infinite_iterator(T const min_)
Chris@16:           : min BOOST_PREVENT_MACRO_SUBSTITUTION (min_) {}
Chris@16: 
Chris@16:         typedef T type;
Chris@16:         T start() const { return 0; }
Chris@16:         bool got_max(T /*i*/) const { return false; }
Chris@16:         bool got_min(T i) const { return i >= min; }
Chris@16: 
Chris@16:         T const min;
Chris@16: 
Chris@16:     private:
Chris@16:         // silence MSVC warning C4512: assignment operator could not be generated
Chris@16:         infinite_iterator& operator= (infinite_iterator const&);
Chris@16:     };
Chris@16: 
Chris@16:     template <typename Subject, typename LoopIter>
Chris@16:     struct repeat_parser : unary_parser<repeat_parser<Subject, LoopIter> >
Chris@16:     {
Chris@16:         typedef Subject subject_type;
Chris@16: 
Chris@16:         template <typename Context, typename Iterator>
Chris@16:         struct attribute
Chris@16:         {
Chris@16:             // Build a std::vector from the subject's attribute. Note
Chris@16:             // that build_std_vector may return unused_type if the
Chris@16:             // subject's attribute is an unused_type.
Chris@16:             typedef typename
Chris@16:                 traits::build_std_vector<
Chris@16:                     typename traits::attribute_of<
Chris@16:                         Subject, Context, Iterator>::type
Chris@16:                 >::type
Chris@16:             type;
Chris@16:         };
Chris@16: 
Chris@16:         repeat_parser(Subject const& subject_, LoopIter const& iter_)
Chris@16:           : subject(subject_), iter(iter_) {}
Chris@16: 
Chris@16:         template <typename F>
Chris@16:         bool parse_container(F f) const
Chris@16:         {
Chris@16:             typename LoopIter::type i = iter.start();
Chris@16:             for (/**/; !iter.got_min(i); ++i)
Chris@16:             {
Chris@16:                 if (f (subject))
Chris@16:                     return false;
Chris@16:             }
Chris@16: 
Chris@16:             // parse some more up to the maximum specified
Chris@16:             typename F::iterator_type save = f.f.first;
Chris@16:             for (/**/; !iter.got_max(i); ++i)
Chris@16:             {
Chris@16:                 if (f (subject))
Chris@16:                     break;
Chris@16:                 save = f.f.first;
Chris@16:             }
Chris@16: 
Chris@16:             f.f.first = save;
Chris@16:             return true;
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Iterator, typename Context
Chris@16:           , typename Skipper, typename Attribute>
Chris@16:         bool parse(Iterator& first, Iterator const& last
Chris@16:           , Context& context, Skipper const& skipper
Chris@16:           , Attribute& attr_) const
Chris@16:         {
Chris@16:             typedef detail::fail_function<Iterator, Context, Skipper>
Chris@16:                 fail_function;
Chris@16: 
Chris@16:             // ensure the attribute is actually a container type
Chris@16:             traits::make_container(attr_);
Chris@16: 
Chris@16:             Iterator iter_local = first;
Chris@16:             fail_function f(iter_local, last, context, skipper);
Chris@16:             if (!parse_container(detail::make_pass_container(f, attr_)))
Chris@16:                 return false;
Chris@16: 
Chris@16:             first = f.first;
Chris@16:             return true;
Chris@16:         }
Chris@16: 
Chris@16:         template <typename Context>
Chris@16:         info what(Context& context) const
Chris@16:         {
Chris@16:             return info("repeat", subject.what(context));
Chris@16:         }
Chris@16: 
Chris@16:         Subject subject;
Chris@16:         LoopIter iter;
Chris@16: 
Chris@16:     private:
Chris@16:         // silence MSVC warning C4512: assignment operator could not be generated
Chris@16:         repeat_parser& operator= (repeat_parser const&);
Chris@16:     };
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     // Parser generators: make_xxx function (objects)
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject, typename Modifiers>
Chris@16:     struct make_directive<tag::repeat, Subject, Modifiers>
Chris@16:     {
Chris@16:         typedef kleene<Subject> result_type;
Chris@16:         result_type operator()(unused_type, Subject const& subject, unused_type) const
Chris@16:         {
Chris@16:             return result_type(subject);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename T, typename Subject, typename Modifiers>
Chris@16:     struct make_directive<
Chris@16:         terminal_ex<tag::repeat, fusion::vector1<T> >, Subject, Modifiers>
Chris@16:     {
Chris@16:         typedef exact_iterator<T> iterator_type;
Chris@16:         typedef repeat_parser<Subject, iterator_type> result_type;
Chris@16: 
Chris@16:         template <typename Terminal>
Chris@16:         result_type operator()(
Chris@16:             Terminal const& term, Subject const& subject, unused_type) const
Chris@16:         {
Chris@16:             return result_type(subject, fusion::at_c<0>(term.args));
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename T, typename Subject, typename Modifiers>
Chris@16:     struct make_directive<
Chris@16:         terminal_ex<tag::repeat, fusion::vector2<T, T> >, Subject, Modifiers>
Chris@16:     {
Chris@16:         typedef finite_iterator<T> iterator_type;
Chris@16:         typedef repeat_parser<Subject, iterator_type> result_type;
Chris@16: 
Chris@16:         template <typename Terminal>
Chris@16:         result_type operator()(
Chris@16:             Terminal const& term, Subject const& subject, unused_type) const
Chris@16:         {
Chris@16:             return result_type(subject,
Chris@16:                 iterator_type(
Chris@16:                     fusion::at_c<0>(term.args)
Chris@16:                   , fusion::at_c<1>(term.args)
Chris@16:                 )
Chris@16:             );
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     template <typename T, typename Subject, typename Modifiers>
Chris@16:     struct make_directive<
Chris@16:         terminal_ex<tag::repeat
Chris@16:         , fusion::vector2<T, inf_type> >, Subject, Modifiers>
Chris@16:     {
Chris@16:         typedef infinite_iterator<T> iterator_type;
Chris@16:         typedef repeat_parser<Subject, iterator_type> result_type;
Chris@16: 
Chris@16:         template <typename Terminal>
Chris@16:         result_type operator()(
Chris@16:             Terminal const& term, Subject const& subject, unused_type) const
Chris@16:         {
Chris@16:             return result_type(subject, fusion::at_c<0>(term.args));
Chris@16:         }
Chris@16:     };
Chris@16: }}}
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace traits
Chris@16: {
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject, typename LoopIter>
Chris@16:     struct has_semantic_action<qi::repeat_parser<Subject, LoopIter> >
Chris@16:       : unary_has_semantic_action<Subject> {};
Chris@16: 
Chris@16:     ///////////////////////////////////////////////////////////////////////////
Chris@16:     template <typename Subject, typename LoopIter, typename Attribute
Chris@16:       , typename Context, typename Iterator>
Chris@16:     struct handles_container<qi::repeat_parser<Subject, LoopIter>
Chris@16:           , Attribute, Context, Iterator>
Chris@16:       : mpl::true_ {};
Chris@16: }}}
Chris@16: 
Chris@16: #endif