Imported Upstream version 3.3.0.2upstream/3.3.0.2

6 files changed, 194 insertions, 0 deletions

diff --git a/libcult/cult/meta/answer.hxx b/libcult/cult/meta/answer.hxx
new file mode 100644
index 0000000..402d152
--- /dev/null
+++ b/libcult/cult/meta/answer.hxx
@@ -0,0 +1,27 @@
+// file      : cult/meta/answer.hxx
+// author    : Boris Kolpackov <boris@kolpackov.net>
+// copyright : Copyright (c) 2005-2010 Boris Kolpackov
+// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file
+
+#ifndef CULT_META_ANSWER_HXX
+#define CULT_META_ANSWER_HXX
+
+#include <cult/types/fundamental.hxx>
+
+namespace Cult
+{
+  namespace Meta
+  {
+    struct Yes
+    {
+      Char filling;
+    };
+
+    struct No
+    {
+      Char filling[2];
+    };
+  }
+}
+
+#endif  // CULT_META_ANSWER_HXX
diff --git a/libcult/cult/meta/class-p.hxx b/libcult/cult/meta/class-p.hxx
new file mode 100644
index 0000000..6ac056d
--- /dev/null
+++ b/libcult/cult/meta/class-p.hxx
@@ -0,0 +1,33 @@
+// file      : cult/meta/class-p.hxx
+// author    : Boris Kolpackov <boris@kolpackov.net>
+// copyright : Copyright (c) 2005-2010 Boris Kolpackov
+// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file
+
+#ifndef CULT_META_CLASS_HXX
+#define CULT_META_CLASS_HXX
+
+#include <cult/types/fundamental.hxx>
+
+#include <cult/meta/answer.hxx>
+
+namespace Cult
+{
+  namespace Meta
+  {
+    template <typename X>
+    class class_p
+    {
+      //@@ g++ bug 14881
+    public:
+      template <typename Y> static No test (...);
+      template <typename Y> static Yes test (Void* Y::*);
+
+    public:
+      //@@ Qualification bug fixed for g++ 3.4.0.
+      static Boolean const r =
+        sizeof (class_p<X>::template test<X> (0)) == sizeof (Yes);
+    };
+  }
+}
+
+#endif  // CULT_META_CLASS_HXX
diff --git a/libcult/cult/meta/polymorphic-p.hxx b/libcult/cult/meta/polymorphic-p.hxx
new file mode 100644
index 0000000..0743de3
--- /dev/null
+++ b/libcult/cult/meta/polymorphic-p.hxx
@@ -0,0 +1,56 @@
+// file      : cult/meta/polymorphic-p.hxx
+// author    : Boris Kolpackov <boris@kolpackov.net>
+// copyright : Copyright (c) 2005-2010 Boris Kolpackov
+// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file
+
+#ifndef CULT_META_POLYMORPHIC_HXX
+#define CULT_META_POLYMORPHIC_HXX
+
+#include <cult/types/fundamental.hxx>
+
+#include <cult/meta/class-p.hxx>
+#include <cult/meta/remove-cv.hxx>
+
+namespace Cult
+{
+  namespace Meta
+  {
+    template <typename CVX>
+    class polymorphic_p
+    {
+      typedef typename remove_cv<CVX>::R X;
+
+      template <typename Y, Boolean c>
+      struct impl
+      {
+        static const Boolean r = false;
+      };
+
+      template <typename Y>
+      struct impl<Y, true>
+      {
+        //@@ private
+
+        struct S1 : Y
+        {
+          S1 ();
+        };
+
+        struct S2 : Y
+        {
+          S2 ();
+
+          virtual
+          ~S2 () throw ();
+        };
+
+        static const Boolean r = sizeof (S1) == sizeof (S2);
+      };
+
+    public:
+      static const Boolean r = impl<X, class_p<X>::r>::r;
+    };
+  }
+}
+
+#endif  // CULT_META_POLYMORPHIC_HXX
diff --git a/libcult/cult/meta/remove-c.hxx b/libcult/cult/meta/remove-c.hxx
new file mode 100644
index 0000000..a25382c
--- /dev/null
+++ b/libcult/cult/meta/remove-c.hxx
@@ -0,0 +1,27 @@
+// file      : cult/meta/remove-c.hxx
+// author    : Boris Kolpackov <boris@kolpackov.net>
+// copyright : Copyright (c) 2005-2010 Boris Kolpackov
+// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file
+
+#ifndef CULT_META_REMOVE_C_HXX
+#define CULT_META_REMOVE_C_HXX
+
+namespace Cult
+{
+  namespace Meta
+  {
+    template <typename X>
+    struct remove_c
+    {
+      typedef X R;
+    };
+
+    template <typename X>
+    struct remove_c<X const>
+    {
+      typedef X R;
+    };
+  }
+}
+
+#endif  // CULT_META_REMOVE_C_HXX
diff --git a/libcult/cult/meta/remove-cv.hxx b/libcult/cult/meta/remove-cv.hxx
new file mode 100644
index 0000000..190e393
--- /dev/null
+++ b/libcult/cult/meta/remove-cv.hxx
@@ -0,0 +1,24 @@
+// file      : cult/meta/remove-cv.hxx
+// author    : Boris Kolpackov <boris@kolpackov.net>
+// copyright : Copyright (c) 2005-2010 Boris Kolpackov
+// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file
+
+#ifndef CULT_META_REMOVE_CV_HXX
+#define CULT_META_REMOVE_CV_HXX
+
+#include <cult/meta/remove-c.hxx>
+#include <cult/meta/remove-v.hxx>
+
+namespace Cult
+{
+  namespace Meta
+  {
+    template <typename X>
+    struct remove_cv
+    {
+      typedef typename remove_v<typename remove_c<X>::R>::R R;
+    };
+  }
+}
+
+#endif  // CULT_META_REMOVE_CV_HXX
diff --git a/libcult/cult/meta/remove-v.hxx b/libcult/cult/meta/remove-v.hxx
new file mode 100644
index 0000000..eb6e4ee
--- /dev/null
+++ b/libcult/cult/meta/remove-v.hxx
@@ -0,0 +1,27 @@
+// file      : cult/meta/remove-v.hxx
+// author    : Boris Kolpackov <boris@kolpackov.net>
+// copyright : Copyright (c) 2005-2010 Boris Kolpackov
+// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file
+
+#ifndef CULT_META_REMOVE_V_HXX
+#define CULT_META_REMOVE_V_HXX
+
+namespace Cult
+{
+  namespace Meta
+  {
+    template <typename X>
+    struct remove_v
+    {
+      typedef X R;
+    };
+
+    template <typename X>
+    struct remove_v<X volatile>
+    {
+      typedef X R;
+    };
+  }
+}
+
+#endif  // CULT_META_REMOVE_V_HXX