// Copyright (c) 2001-2011 Hartmut Kaiser | |
// Copyright (c) 2001-2011 Joel de Guzman | |
// | |
// 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) | |
#if !defined(BOOST_SPIRIT_GENERATOR_JANUARY_13_2009_1002AM) | |
#define BOOST_SPIRIT_GENERATOR_JANUARY_13_2009_1002AM | |
#if defined(_MSC_VER) | |
#pragma once | |
#endif | |
#include <boost/mpl/has_xxx.hpp> | |
#include <boost/mpl/int.hpp> | |
#include <boost/spirit/home/karma/domain.hpp> | |
namespace boost { namespace spirit { namespace karma | |
{ | |
struct generator_properties | |
{ | |
enum enum_type { | |
no_properties = 0, | |
buffering = 0x01, // generator requires buffering | |
counting = 0x02, // generator requires counting | |
tracking = 0x04, // generator requires position tracking | |
disabling = 0x08, // generator requires disabling of output | |
countingbuffer = 0x03, // buffering | counting | |
all_properties = 0x0f // buffering | counting | tracking | disabling | |
}; | |
}; | |
template <typename Derived> | |
struct generator | |
{ | |
struct generator_id; | |
typedef mpl::int_<generator_properties::no_properties> properties; | |
typedef Derived derived_type; | |
typedef karma::domain domain; | |
// Requirement: g.generate(o, context, delimiter, attr) -> bool | |
// | |
// g: a generator | |
// o: output iterator | |
// context: enclosing rule context (can be unused_type) | |
// delimit: delimiter (can be unused_type) | |
// attr: attribute (can be unused_type) | |
// Requirement: g.what(context) -> info | |
// | |
// g: a generator | |
// context: enclosing rule context (can be unused_type) | |
// Requirement: G::template attribute<Ctx, Iter>::type | |
// | |
// G: a generator type | |
// Ctx: A context type (can be unused_type) | |
// Iter: An iterator type (always unused_type) | |
Derived const& derived() const | |
{ | |
return *static_cast<Derived const*>(this); | |
} | |
}; | |
template <typename Derived> | |
struct primitive_generator : generator<Derived> | |
{ | |
struct primitive_generator_id; | |
}; | |
template <typename Derived> | |
struct nary_generator : generator<Derived> | |
{ | |
struct nary_generator_id; | |
// Requirement: g.elements -> fusion sequence | |
// | |
// g: a composite generator | |
// Requirement: G::elements_type -> fusion sequence | |
// | |
// G: a composite generator type | |
}; | |
template <typename Derived> | |
struct unary_generator : generator<Derived> | |
{ | |
struct unary_generator_id; | |
// Requirement: g.subject -> subject generator | |
// | |
// g: a unary generator | |
// Requirement: G::subject_type -> subject generator type | |
// | |
// G: a unary generator type | |
}; | |
template <typename Derived> | |
struct binary_generator : generator<Derived> | |
{ | |
struct binary_generator_id; | |
// Requirement: g.left -> left generator | |
// | |
// g: a binary generator | |
// Requirement: G::left_type -> left generator type | |
// | |
// G: a binary generator type | |
// Requirement: g.right -> right generator | |
// | |
// g: a binary generator | |
// Requirement: G::right_type -> right generator type | |
// | |
// G: a binary generator type | |
}; | |
}}} | |
namespace boost { namespace spirit { namespace traits // classification | |
{ | |
namespace detail | |
{ | |
// generator tags | |
BOOST_MPL_HAS_XXX_TRAIT_DEF(generator_id) | |
BOOST_MPL_HAS_XXX_TRAIT_DEF(primitive_generator_id) | |
BOOST_MPL_HAS_XXX_TRAIT_DEF(nary_generator_id) | |
BOOST_MPL_HAS_XXX_TRAIT_DEF(unary_generator_id) | |
BOOST_MPL_HAS_XXX_TRAIT_DEF(binary_generator_id) | |
} | |
// check for generator tags | |
template <typename T> | |
struct is_generator : detail::has_generator_id<T> {}; | |
template <typename T> | |
struct is_primitive_generator : detail::has_primitive_generator_id<T> {}; | |
template <typename T> | |
struct is_nary_generator : detail::has_nary_generator_id<T> {}; | |
template <typename T> | |
struct is_unary_generator : detail::has_unary_generator_id<T> {}; | |
template <typename T> | |
struct is_binary_generator : detail::has_binary_generator_id<T> {}; | |
// check for generator properties | |
template <typename T> | |
struct properties_of : T::properties {}; | |
}}} | |
#endif |