00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_AUTOMATA_CONCEPT_HANDLERS_HXX
00018 # define VCSN_AUTOMATA_CONCEPT_HANDLERS_HXX
00019
00020 # include <iostream>
00021
00022 namespace vcsn
00023 {
00024
00025 template<typename Tag>
00026 handler<Tag>::handler() : v_(0)
00027 {}
00028
00029 template<typename Tag>
00030 handler<Tag>::handler(int h) : v_(h)
00031 {}
00032
00033 template<typename Tag>
00034 handler<Tag>::handler(const handler& h) : v_(h.v_)
00035 {}
00036
00037 template<typename Tag>
00038 handler<Tag>& handler<Tag>::operator=(const handler<Tag>& h)
00039 {
00040 v_ = h.v_;
00041 return *this;
00042 }
00043
00044 template<typename Tag>
00045 handler<Tag>& handler<Tag>::operator=(int h)
00046 {
00047 v_ = h;
00048 return *this;
00049 }
00050
00051 template<typename Tag>
00052 int handler<Tag>::value() const
00053 {
00054 return v_;
00055 }
00056
00057 template<typename Tag>
00058 handler<Tag>::operator int () const
00059 {
00060 return v_;
00061 }
00062
00063 }
00064
00065 #define HOPERATOR(Op) \
00066 template<typename kind> \
00067 bool operator Op (const handler<kind>& h1, \
00068 const handler<kind>& h2) \
00069 { return h1.value() Op h2.value(); }
00070
00071 namespace vcsn {
00072 HOPERATOR(==);
00073 HOPERATOR(!=);
00074 HOPERATOR(<);
00075 HOPERATOR(>);
00076 HOPERATOR(<=);
00077 HOPERATOR(>=);
00078 }
00079
00080 namespace std {
00081
00082 template <typename kind>
00083 std::ostream&
00084 operator<<(std::ostream& out, const vcsn::handler<kind>& h)
00085 {
00086 out << h.value();
00087 return out;
00088 }
00089
00090 }
00091
00092 #undef HOPERATOR
00093 #endif // ! VCSN_AUTOMATA_CONCEPT_HANDLERS_HXX