123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407 |
- ///////////////////////////////////////////////////////////////////////////////
- /// \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>
- {};
- };
|