Match-id-515db564370c501883bd877581f460290f764189

cli/test/include/mockcpp/Constraint.h

@@ -0,0 +1,40 @@
+/***
+    mockcpp is a generic C/C++ mock framework.
+    Copyright (C) <2009>  <Darwin Yuan: darwin.yuan@gmail.com>
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation, either version 3 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+***/
+
+#ifndef __MOCKCPP_CONSTRAINT_H
+#define __MOCKCPP_CONSTRAINT_H
+
+#include <string>
+#include <mockcpp/types/RefAny.h>
+
+MOCKCPP_NS_START
+
+struct RefAny;
+
+struct Constraint
+{
+    virtual ~Constraint() {}
+
+    virtual bool eval(const RefAny& inv) const = 0;
+    virtual std::string toString() const = 0;
+};
+
+MOCKCPP_NS_END
+
+#endif
+