boost/proto/transform/detail/preprocessed/lazy.hpp
///////////////////////////////////////////////////////////////////////////////
/// \file lazy.hpp
/// Contains definition of the lazy<> transform.
//
// Copyright 2008 Eric Niebler. 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)
template<typename Object >
struct lazy<Object()>
: transform<lazy<Object()> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
()
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0>
struct lazy<Object(A0)>
: transform<lazy<Object(A0)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0>
struct lazy<Object(A0...)>
: transform<lazy<Object(A0...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A0
, detail::expand_pattern_rest_0<
Object
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1>
struct lazy<Object(A0 , A1)>
: transform<lazy<Object(A0 , A1)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1>
struct lazy<Object(A0 , A1...)>
: transform<lazy<Object(A0 , A1...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A1
, detail::expand_pattern_rest_1<
Object
, A0
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2>
struct lazy<Object(A0 , A1 , A2)>
: transform<lazy<Object(A0 , A1 , A2)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1 , A2)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2>
struct lazy<Object(A0 , A1 , A2...)>
: transform<lazy<Object(A0 , A1 , A2...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A2
, detail::expand_pattern_rest_2<
Object
, A0 , A1
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3>
struct lazy<Object(A0 , A1 , A2 , A3)>
: transform<lazy<Object(A0 , A1 , A2 , A3)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1 , A2 , A3)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3>
struct lazy<Object(A0 , A1 , A2 , A3...)>
: transform<lazy<Object(A0 , A1 , A2 , A3...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A3
, detail::expand_pattern_rest_3<
Object
, A0 , A1 , A2
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
struct lazy<Object(A0 , A1 , A2 , A3 , A4)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1 , A2 , A3 , A4)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
struct lazy<Object(A0 , A1 , A2 , A3 , A4...)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A4
, detail::expand_pattern_rest_4<
Object
, A0 , A1 , A2 , A3
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1 , A2 , A3 , A4 , A5)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5...)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A5
, detail::expand_pattern_rest_5<
Object
, A0 , A1 , A2 , A3 , A4
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1 , A2 , A3 , A4 , A5 , A6)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6...)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A6
, detail::expand_pattern_rest_6<
Object
, A0 , A1 , A2 , A3 , A4 , A5
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7...)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A7
, detail::expand_pattern_rest_7<
Object
, A0 , A1 , A2 , A3 , A4 , A5 , A6
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8...)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A8
, detail::expand_pattern_rest_8<
Object
, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
>
>::type
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: call<
typename make<Object>::template impl<Expr, State, Data>::result_type
(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)
>::template impl<Expr, State, Data>
{};
};
template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9...)>
: transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9...)> >
{
template<typename Expr, typename State, typename Data>
struct impl
: lazy<
typename detail::expand_pattern<
proto::arity_of<Expr>::value
, A9
, detail::expand_pattern_rest_9<
Object
, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
>
>::type
>::template impl<Expr, State, Data>
{};
};
