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