From c357f29a5b633e78f9d824737e5504485f55bb15 Mon Sep 17 00:00:00 2001
From: Arkadiy Vertleyb <vertleyb@hotmail.com>
Date: Tue, 20 Sep 2005 01:32:56 +0000
Subject: [PATCH] added more tests

[SVN r31048]
---
 test/Jamfile                | 18 ++++++++++
 test/noncopyable.cpp        | 32 ++++++++++++++++++
 test/odr.hpp                | 11 +++++++
 test/odr1.cpp               |  6 ++++
 test/odr2.cpp               |  1 +
 test/std.cpp                | 65 +++++++++++++++++++++++++++++++++++++
 test/template_dependent.cpp | 11 +++++++
 test/template_enum.cpp      | 11 +++++++
 test/template_multiword.cpp | 10 ++++++
 9 files changed, 165 insertions(+)
 create mode 100755 test/noncopyable.cpp
 create mode 100755 test/odr.hpp
 create mode 100755 test/odr1.cpp
 create mode 100755 test/odr2.cpp
 create mode 100755 test/std.cpp
 create mode 100755 test/template_dependent.cpp
 create mode 100755 test/template_enum.cpp
 create mode 100755 test/template_multiword.cpp

diff --git a/test/Jamfile b/test/Jamfile
index f119c29..39409c2 100755
--- a/test/Jamfile
+++ b/test/Jamfile
@@ -19,6 +19,15 @@ test-suite "typeof"
 	[ compile template_tpl.cpp : <define>BOOST_TYPEOF_NATIVE : template_tpl_native ]
 	[ compile template_tpl.cpp : <define>BOOST_TYPEOF_COMPLIANT : template_tpl_emulation ]
 
+	[ compile template_enum.cpp : <define>BOOST_TYPEOF_NATIVE : template_enum_native ]
+	[ compile template_enum.cpp : <define>BOOST_TYPEOF_COMPLIANT : template_enum_emulation ]
+
+	[ compile template_dependent.cpp : <define>BOOST_TYPEOF_NATIVE : template_dependent_native ]
+	[ compile template_dependent.cpp : <define>BOOST_TYPEOF_COMPLIANT : template_dependent_emulation ]
+
+	[ compile template_multiword.cpp : <define>BOOST_TYPEOF_NATIVE : template_multiword_native ]
+	[ compile template_multiword.cpp : <define>BOOST_TYPEOF_COMPLIANT : template_multiword_emulation ]
+
 	[ compile modifiers.cpp : <define>BOOST_TYPEOF_NATIVE : modifiers_native ]
 	[ compile modifiers.cpp : <define>BOOST_TYPEOF_COMPLIANT : modifiers_emulation ]
 
@@ -39,4 +48,13 @@ test-suite "typeof"
 
 	[ compile lvalue.cpp : <define>BOOST_TYPEOF_NATIVE : lvalue_native ]
 	[ compile lvalue.cpp : <define>BOOST_TYPEOF_COMPLIANT : lvalue_emulation ]
+
+	[ compile noncopyable.cpp : <define>BOOST_TYPEOF_NATIVE : noncopyable_native ]
+	[ compile noncopyable.cpp : <define>BOOST_TYPEOF_COMPLIANT : noncopyable_emulation ]
+
+	[ compile std.cpp : <define>BOOST_TYPEOF_NATIVE : std_native ]
+	[ compile std.cpp : <define>BOOST_TYPEOF_COMPLIANT : std_emulation ]
+
+	[ link odr1.cpp odr2.cpp : <define>BOOST_TYPEOF_NATIVE : odr_native ]
+	[ link odr1.cpp odr2.cpp : <define>BOOST_TYPEOF_COMPLIANT : odr_emulation ]
 	;
diff --git a/test/noncopyable.cpp b/test/noncopyable.cpp
new file mode 100755
index 0000000..687c782
--- /dev/null
+++ b/test/noncopyable.cpp
@@ -0,0 +1,32 @@
+#include "test.hpp"
+#include <boost/noncopyable.hpp>
+#include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
+
+struct x : boost::noncopyable
+{
+    void foo() {}
+    void bar() const {}
+};
+
+BOOST_TYPEOF_REGISTER_TYPE(x)
+
+x& make_ref()
+{
+    static x result;
+    return result;
+}
+
+const x& make_const_ref()
+{
+    static x result;
+    return result;
+}
+
+void foo()
+{
+    BOOST_AUTO(& v1, make_ref());
+    v1.foo();
+
+    BOOST_AUTO(const& v2, make_const_ref());
+    v2.bar();
+}
diff --git a/test/odr.hpp b/test/odr.hpp
new file mode 100755
index 0000000..892a229
--- /dev/null
+++ b/test/odr.hpp
@@ -0,0 +1,11 @@
+#include <boost/typeof/typeof.hpp>
+
+struct foo
+{
+    typedef BOOST_TYPEOF(1 + 2.5) type;
+};
+
+namespace
+{
+    typedef foo::type type;
+}
\ No newline at end of file
diff --git a/test/odr1.cpp b/test/odr1.cpp
new file mode 100755
index 0000000..e21b8b2
--- /dev/null
+++ b/test/odr1.cpp
@@ -0,0 +1,6 @@
+#include "odr.hpp"
+
+int main()
+{
+    return 0;
+}
diff --git a/test/odr2.cpp b/test/odr2.cpp
new file mode 100755
index 0000000..aebd7c3
--- /dev/null
+++ b/test/odr2.cpp
@@ -0,0 +1 @@
+#include "odr.hpp"
diff --git a/test/std.cpp b/test/std.cpp
new file mode 100755
index 0000000..1cce1d2
--- /dev/null
+++ b/test/std.cpp
@@ -0,0 +1,65 @@
+#include "test.hpp"
+
+#include <boost/typeof/std/string.hpp>
+#include <boost/typeof/std/deque.hpp>
+#include <boost/typeof/std/list.hpp>
+#include <boost/typeof/std/queue.hpp>
+#include <boost/typeof/std/stack.hpp>
+#include <boost/typeof/std/vector.hpp>
+#include <boost/typeof/std/map.hpp>
+#include <boost/typeof/std/set.hpp>
+#include <boost/typeof/std/bitset.hpp>
+#include <boost/typeof/std/functional.hpp>
+#include <boost/typeof/std/valarray.hpp>
+#include <boost/typeof/std/locale.hpp>
+#include <boost/typeof/std/iostream.hpp>
+#include <boost/typeof/std/streambuf.hpp>
+#include <boost/typeof/std/istream.hpp>
+#include <boost/typeof/std/ostream.hpp>
+#include <boost/typeof/std/sstream.hpp>
+#include <boost/typeof/std/fstream.hpp>
+#include <boost/typeof/std/iterator.hpp>
+
+using namespace std;
+
+// STL containers
+
+BOOST_STATIC_ASSERT(boost::type_of::test<string>::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<deque<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<list<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<queue<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<stack<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<vector<int> >::value);
+BOOST_STATIC_ASSERT((boost::type_of::test<map<int, int> >::value));
+BOOST_STATIC_ASSERT((boost::type_of::test<multimap<int, int> >::value));
+BOOST_STATIC_ASSERT(boost::type_of::test<set<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<multiset<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<bitset<10> >::value);
+
+// function objects
+
+BOOST_STATIC_ASSERT((boost::type_of::test<unary_function<int, int> >::value));
+BOOST_STATIC_ASSERT((boost::type_of::test<binary_function<int, int, int> >::value));
+BOOST_STATIC_ASSERT(boost::type_of::test<plus<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<minus<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<multiplies<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<divides<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<modulus<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<negate<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<equal_to<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<not_equal_to<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<greater<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<less<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<greater_equal<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<less_equal<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<logical_and<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<logical_or<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<logical_not<int> >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<unary_negate<negate<int> > >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<binary_negate<less<int> > >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<binder1st<less<int> > >::value);
+BOOST_STATIC_ASSERT(boost::type_of::test<binder2nd<less<int> > >::value);
+
+// valarray
+
+BOOST_STATIC_ASSERT(boost::type_of::test<valarray<int> >::value);
diff --git a/test/template_dependent.cpp b/test/template_dependent.cpp
new file mode 100755
index 0000000..05223e5
--- /dev/null
+++ b/test/template_dependent.cpp
@@ -0,0 +1,11 @@
+#include "test.hpp"
+#include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
+
+template<class T, T n> struct t{};
+
+BOOST_TYPEOF_REGISTER_TEMPLATE(t,
+                               (class)
+                               (BOOST_TYPEOF_INTEGRAL(P0))
+                               )
+
+BOOST_STATIC_ASSERT((boost::type_of::test<t<int, 5>()>::value));
diff --git a/test/template_enum.cpp b/test/template_enum.cpp
new file mode 100755
index 0000000..a896d15
--- /dev/null
+++ b/test/template_enum.cpp
@@ -0,0 +1,11 @@
+#include "test.hpp"
+#include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
+
+enum E{ONE, TWO, THREE};
+template<E e> struct t{};
+
+BOOST_TYPEOF_REGISTER_TEMPLATE(t, 
+                               (BOOST_TYPEOF_INTEGRAL(E))
+                               )
+
+BOOST_STATIC_ASSERT(boost::type_of::test<t<TWO>()>::value);
diff --git a/test/template_multiword.cpp b/test/template_multiword.cpp
new file mode 100755
index 0000000..7e9aadb
--- /dev/null
+++ b/test/template_multiword.cpp
@@ -0,0 +1,10 @@
+#include "test.hpp"
+#include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
+
+template<unsigned long int n> struct t{};
+
+BOOST_TYPEOF_REGISTER_TEMPLATE(t,
+                               (BOOST_TYPEOF_INTEGRAL(unsigned long int))
+                               )
+
+BOOST_STATIC_ASSERT((boost::type_of::test<t<5>()>::value));