00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef TOOL_ITERATOR_HH_
00023 # define TOOL_ITERATOR_HH_
00024
00025 # include <boost/optional.hpp>
00026
00027 # include <trace-tools/tool/static_base.hh>
00028
00029 namespace tool
00030 {
00031
00032 template <class B>
00033 struct iterator;
00034
00036 template <class B>
00037 struct types< iterator<B> >
00038 {
00039 typedef undefined_type value_type;
00040 };
00041
00061 template <class Bottom>
00062 struct iterator: tt_inherit(public static_base, iterator<Bottom>)
00063 {
00065 typedef tt_get_exact(Bottom, iterator<Bottom>) exact_type;
00066
00068 typedef tt_type(value_type, exact_type) value_type;
00069
00071 typedef size_t difference_type;
00072
00074
00075 bool operator == (const exact_type&) const;
00076 bool operator != (const exact_type&) const;
00078
00080
00081 const exact_type& operator ++ ();
00082 exact_type operator ++ (int);
00084
00086
00087 const value_type& operator * () const;
00088 const value_type* operator -> () const;
00090
00091 protected:
00093 ~iterator();
00094 };
00095
00096 }
00097
00098 # include "iterator.hxx"
00099
00100 #endif // ! TOOL_ITERATOR_HH_