summaryrefslogtreecommitdiff
path: root/i/marvin/src/interpreter/interpreter.tcc
diff options
context:
space:
mode:
Diffstat (limited to 'i/marvin/src/interpreter/interpreter.tcc')
-rw-r--r--i/marvin/src/interpreter/interpreter.tcc137
1 files changed, 137 insertions, 0 deletions
diff --git a/i/marvin/src/interpreter/interpreter.tcc b/i/marvin/src/interpreter/interpreter.tcc
new file mode 100644
index 0000000..0e4fcf9
--- /dev/null
+++ b/i/marvin/src/interpreter/interpreter.tcc
@@ -0,0 +1,137 @@
+#ifndef interpreter_tcc
+#define interpreter_tcc
+// interpreter.tcc
+// marvin - programme du robot 2006. {{{
+//
+// Copyright (C) 2006 Nicolas Schodet
+//
+// Robot APB Team/Efrei 2006.
+// Web: http://assos.efrei.fr/robot/
+// Email: robot AT efrei DOT fr
+//
+// 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 2 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, write to the Free Software
+// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+//
+// }}}
+#include "utils/meta/remove_reference.hh"
+
+#include <stdexcept>
+
+/// Func class construction helper.
+template<class T, typename F>
+class Interpreter::MemFunc
+{
+};
+
+/// Partially specialised for member functions taking an arguments list.
+template<class T>
+class Interpreter::MemFunc<T, bool (T::*) (const Interpreter::Args &)> : public Func
+{
+ T &i_;
+ typedef bool (T::*F) (const Interpreter::Args &);
+ F f_;
+ public:
+ MemFunc (T &i, F f) : i_ (i), f_ (f) { }
+ bool operator() (const Args &a)
+ {
+ return (i_.*f_) (a);
+ }
+};
+
+/// Partially specialised for members functions taking no argument.
+template<class T>
+class Interpreter::MemFunc<T, bool (T::*) (void)> : public Func
+{
+ T &i_;
+ typedef bool (T::*F) (void);
+ F f_;
+ public:
+ MemFunc (T &i, F f) : i_ (i), f_ (f) { }
+ bool operator() (const Args &a)
+ {
+ if (!a.empty ())
+ throw std::runtime_error ("no argument expected");
+ return (i_.*f_) ();
+ }
+};
+
+/// Partially specialised for members functions taking one argument.
+template<class T, typename A1>
+class Interpreter::MemFunc<T, bool (T::*) (A1)> : public Func
+{
+ T &i_;
+ typedef bool (T::*F) (A1);
+ F f_;
+ public:
+ MemFunc (T &i, F f) : i_ (i), f_ (f) { }
+ bool operator() (const Args &a)
+ {
+ Args::const_iterator i = a.begin ();
+ if (a.size () != 1)
+ throw std::runtime_error ("one argument expected");
+ A1 a1 = any_cast<typename meta::removeReference<A1>::type> (*i);
+ return (i_.*f_) (a1);
+ }
+};
+
+/// Partially specialised for members functions taking two arguments.
+template<class T, typename A1, typename A2>
+class Interpreter::MemFunc<T, bool (T::*) (A1, A2)> : public Func
+{
+ T &i_;
+ typedef bool (T::*F) (A1, A2);
+ F f_;
+ public:
+ MemFunc (T &i, F f) : i_ (i), f_ (f) { }
+ bool operator() (const Args &a)
+ {
+ Args::const_iterator i = a.begin ();
+ if (a.size () != 2)
+ throw std::runtime_error ("two arguments expected");
+ A1 a1 = any_cast<typename meta::removeReference<A1>::type> (*i);
+ A2 a2 = any_cast<typename meta::removeReference<A2>::type> (*++i);
+ return (i_.*f_) (a1, a2);
+ }
+};
+
+/// Partially specialised for members functions taking three arguments.
+template<class T, typename A1, typename A2, typename A3>
+class Interpreter::MemFunc<T, bool (T::*) (A1, A2, A3)> : public Func
+{
+ T &i_;
+ typedef bool (T::*F) (A1, A2, A3);
+ F f_;
+ public:
+ MemFunc (T &i, F f) : i_ (i), f_ (f) { }
+ bool operator() (const Args &a)
+ {
+ Args::const_iterator i = a.begin ();
+ if (a.size () != 3)
+ throw std::runtime_error ("three arguments expected");
+ A1 a1 = any_cast<typename meta::removeReference<A1>::type> (*i);
+ A2 a2 = any_cast<typename meta::removeReference<A2>::type> (*++i);
+ A3 a3 = any_cast<typename meta::removeReference<A3>::type> (*++i);
+ return (i_.*f_) (a1, a2, a3);
+ }
+};
+
+/// Take all the template sophistications out of the programmer hands.
+template<class T, typename F>
+Interpreter::Func *
+Interpreter::memFunc (T &i, F f)
+{
+ return new MemFunc<T, F> (i, f);
+}
+
+#endif // interpreter_tcc