00001 #ifndef TAGCOLL_TAGEXPR_SYNTREE_H
00002 #define TAGCOLL_TAGEXPR_SYNTREE_H
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024 #include <tagcoll/OpSet.h>
00025 #include <string>
00026 #include <map>
00027
00028 namespace Tagcoll
00029 {
00030
00031 class Tagexpr;
00032
00033 class TagexprContext
00034 {
00035 protected:
00036 const OpSet<std::string>& tags;
00037 const std::map<std::string, Tagexpr*>& derivedTags;
00038
00039 mutable OpSet<std::string> seen;
00040
00041 public:
00042 TagexprContext(const OpSet<std::string>& tags, const std::map<std::string, Tagexpr*>& derivedTags)
00043 throw () : tags(tags), derivedTags(derivedTags) {}
00044
00045 bool eval(const std::string& tag) const throw ();
00046 };
00047
00048 class Tagexpr
00049 {
00050 public:
00051 virtual ~Tagexpr() throw () {}
00052
00053 virtual std::string format() const throw () = 0;
00054
00055 virtual bool eval(const TagexprContext& context) const throw () = 0;
00056 virtual bool eval(const OpSet<std::string>& tags) const throw () = 0;
00057
00058 virtual Tagexpr* clone() const throw () = 0;
00059 };
00060
00061 class TagexprTag : public Tagexpr
00062 {
00063 protected:
00064 std::string _tag;
00065
00066 public:
00067 TagexprTag(const std::string& tag) throw () : _tag(tag) {}
00068 virtual ~TagexprTag() throw () {}
00069
00070 virtual std::string format() const throw () { return _tag; }
00071
00072 virtual bool eval(const TagexprContext& context) const throw ()
00073 {
00074 return context.eval(_tag);
00075 }
00076 virtual bool eval(const OpSet<std::string>& tags) const throw ();
00077
00078 virtual Tagexpr* clone() const throw () { return new TagexprTag(_tag); }
00079 };
00080
00081 class TagexprNot : public Tagexpr
00082 {
00083 protected:
00084 Tagexpr* _operand;
00085
00086 public:
00087 TagexprNot(Tagexpr* operand) throw () : _operand(operand) {}
00088 ~TagexprNot() throw () { delete _operand; }
00089
00090 virtual std::string format() const throw () { return "!" + _operand->format(); }
00091
00092 virtual bool eval(const TagexprContext& context) const throw ()
00093 {
00094 return ! _operand->eval(context);
00095 }
00096 virtual bool eval(const OpSet<std::string>& tags) const throw ()
00097 {
00098 return ! _operand->eval(tags);
00099 }
00100
00101 virtual Tagexpr* clone() const throw () { return new TagexprNot(_operand->clone()); }
00102 };
00103
00104 class TagexprAnd : public Tagexpr
00105 {
00106 protected:
00107 Tagexpr* _operand1;
00108 Tagexpr* _operand2;
00109
00110 public:
00111 TagexprAnd(Tagexpr* operand1, Tagexpr* operand2) throw ()
00112 : _operand1(operand1), _operand2(operand2) {}
00113 ~TagexprAnd() throw () { delete _operand1; delete _operand2; }
00114
00115 virtual std::string format() const throw ()
00116 {
00117 return "( " + _operand1->format() + " && " + _operand2->format() + " )";
00118 }
00119
00120 virtual bool eval(const TagexprContext& context) const throw ()
00121 {
00122 return _operand1->eval(context) && _operand2->eval(context);
00123 }
00124 virtual bool eval(const OpSet<std::string>& tags) const throw ()
00125 {
00126 return _operand1->eval(tags) && _operand2->eval(tags);
00127 }
00128
00129 virtual Tagexpr* clone() const throw ()
00130 {
00131 return new TagexprAnd(_operand1->clone(), _operand2->clone());
00132 }
00133 };
00134
00135 class TagexprOr : public Tagexpr
00136 {
00137 protected:
00138 Tagexpr* _operand1;
00139 Tagexpr* _operand2;
00140
00141 public:
00142 TagexprOr(Tagexpr* operand1, Tagexpr* operand2) throw ()
00143 : _operand1(operand1), _operand2(operand2) {}
00144 ~TagexprOr() throw () { delete _operand1; delete _operand2; }
00145
00146 virtual std::string format() const throw ()
00147 {
00148 return "( " + _operand1->format() + " || " + _operand2->format() + " )";
00149 }
00150
00151 virtual bool eval(const TagexprContext& context) const throw ()
00152 {
00153 return _operand1->eval(context) || _operand2->eval(context);
00154 }
00155 virtual bool eval(const OpSet<std::string>& tags) const throw ()
00156 {
00157 return _operand1->eval(tags) || _operand2->eval(tags);
00158 }
00159
00160 virtual Tagexpr* clone() const throw ()
00161 {
00162 return new TagexprOr(_operand1->clone(), _operand2->clone());
00163 }
00164 };
00165
00166 };
00167
00168
00169 #endif