00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef TOOL_ITERABLE_HH_
00023 # define TOOL_ITERABLE_HH_
00024
00025 # include <wipal/tool/static_base.hh>
00026
00027 namespace tool
00028 {
00029
00030 template <class B>
00031 struct iterable;
00032
00034 template <class B>
00035 struct types< iterable<B> >
00036 {
00037 typedef undefined_type iterator;
00038 };
00039
00074 template <class Bottom = bottom>
00075 struct iterable: tt_inherit(public static_base, iterable<Bottom>)
00076 {
00078 typedef tt_get_exact(Bottom, iterable<Bottom>) exact_type;
00079
00081
00082 typedef tt_type(iterator, exact_type) iterator;
00083 typedef iterator const_iterator;
00085
00087 iterator begin() const;
00088
00090 iterator end() const;
00091
00093 template <class OutputIterator>
00094 void
00095 operator () (const OutputIterator& output) const;
00096
00098
00099 template <class Functor>
00100 void
00101 for_each(Functor& f) const;
00102
00103 template <class Functor>
00104 void
00105 for_each(const Functor& f) const;
00107
00108 };
00109
00110 }
00111
00112 # include "iterable.hxx"
00113
00114 #endif // ! TOOL_ITERABLE_HH_