switch to new MPL based Fraunhofer FOKUS Public License
[senf.git] / senf / Utils / type_traits.test.cc
index c446157..7de9b42 100644 (file)
@@ -1,24 +1,29 @@
 // $Id$
 //
-// Copyright (C) 2008 
+// Copyright (C) 2008
 // Fraunhofer Institute for Open Communication Systems (FOKUS)
-// Competence Center NETwork research (NET), St. Augustin, GERMANY
-//     Stefan Bund <g0dil@berlios.de>
 //
-// 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.
+// The contents of this file are subject to the Fraunhofer FOKUS Public License
+// Version 1.0 (the "License"); you may not use this file except in compliance
+// with the License. You may obtain a copy of the License at 
+// http://senf.berlios.de/license.html
 //
-// 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.
+// The Fraunhofer FOKUS Public License Version 1.0 is based on, 
+// but modifies the Mozilla Public License Version 1.1.
+// See the full license text for the amendments.
 //
-// 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.
+// Software distributed under the License is distributed on an "AS IS" basis, 
+// WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License 
+// for the specific language governing rights and limitations under the License.
+//
+// The Original Code is Fraunhofer FOKUS code.
+//
+// The Initial Developer of the Original Code is Fraunhofer-Gesellschaft e.V. 
+// (registered association), Hansastraße 27 c, 80686 Munich, Germany.
+// All Rights Reserved.
+//
+// Contributor(s):
+//   Stefan Bund <g0dil@berlios.de>
 
 /** \file
     \brief type_traits unit tests */
 #include <boost/test/test_tools.hpp>
 
 #define prefix_
-///////////////////////////////cc.p////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
 
 namespace {
-    struct Class {};
+    struct Class;
 }
 
-BOOST_AUTO_UNIT_TEST(typeTraits)
+SENF_AUTO_UNIT_TEST(typeTraits)
 {
     typedef boost::function_traits<void (int, double)> traits;
 
-    BOOST_STATIC_ASSERT(( boost::is_same< 
-        senf::function_traits_remove_arg< traits >::type, 
-        boost::function_traits<void (double)> 
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::function_traits_remove_arg< traits >::type,
+        boost::function_traits<void (double)>
     >::value ));
 
     BOOST_STATIC_ASSERT(( boost::is_same<
@@ -59,12 +64,36 @@ BOOST_AUTO_UNIT_TEST(typeTraits)
         void
     >::value ));
 
-    BOOST_STATIC_ASSERT(( boost::is_same< 
-        senf::remove_member_pointer< int (Class::*) >::type, 
-        int 
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_member_pointer< Class (Class::*) >::type,
+        Class
+    >::value ));
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_member_pointer< Class const (Class::*) >::type,
+        Class const
+    >::value ));
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_member_pointer< Class (Class::*)(int) >::type,
+        Class (int)
     >::value ));
-    BOOST_STATIC_ASSERT(( boost::is_same< 
-        senf::remove_member_pointer< void (Class::*)(int) >::type, 
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_member_pointer< Class const (Class::*)(int) >::type,
+        Class const (int)
+    >::value ));
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_member_pointer< void (Class::*)(int) const>::type,
+        void (int)
+    >::value ));
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_member_pointer< Class const (Class::*)(int) const>::type,
+        Class const (int)
+    >::value ));
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_member_pointer< void (Class::* const)(int)>::type,
+        void (int)
+    >::value ));
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_member_pointer< void (Class::* const)(int) const>::type,
         void (int)
     >::value ));
 
@@ -77,12 +106,12 @@ BOOST_AUTO_UNIT_TEST(typeTraits)
         void
     >::value ));
 
-    BOOST_STATIC_ASSERT(( boost::is_same< 
-        senf::remove_any_pointer< int (Class::*) >::type, 
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_any_pointer< int (Class::*) >::type,
         int
     >::value ));
-    BOOST_STATIC_ASSERT(( boost::is_same< 
-        senf::remove_any_pointer< void (Class::*)(int) >::type, 
+    BOOST_STATIC_ASSERT(( boost::is_same<
+        senf::remove_any_pointer< void (Class::*)(int) >::type,
         void (int)
     >::value ));
     BOOST_STATIC_ASSERT(( boost::is_same<
@@ -97,15 +126,30 @@ BOOST_AUTO_UNIT_TEST(typeTraits)
     BOOST_STATIC_ASSERT((   senf::is_any_function< void () >::value ));
     BOOST_STATIC_ASSERT((   senf::is_any_function< void (*)(int) >::value ));
     BOOST_STATIC_ASSERT((   senf::is_any_function< void (Class::*)() >::value ));
+    BOOST_STATIC_ASSERT((   senf::is_any_function< void (Class::*)() const >::value ));
     BOOST_STATIC_ASSERT(( ! senf::is_any_function< int * >::value ));
 
     BOOST_STATIC_ASSERT(( boost::is_same<
         senf::remove_cvref<int const &>::type,
         int
     >::value ));
+
+    BOOST_STATIC_ASSERT(( senf::function_arity<void ()>::value == 0 ));
+    BOOST_STATIC_ASSERT(( senf::function_arity<void (int,int)>::value == 2 ));
+    BOOST_STATIC_ASSERT(( senf::function_arity<void (*)()>::value == 0 ));
+    BOOST_STATIC_ASSERT(( senf::function_arity<void (*)(int,int)>::value == 2 ));
+    BOOST_STATIC_ASSERT(( senf::function_arity<void (Class::*)()>::value == 0 ));
+    BOOST_STATIC_ASSERT(( senf::function_arity<void (Class::*)(int,int)>::value == 2 ));
+
+    BOOST_STATIC_ASSERT(( senf::function_arity<void (Class::*)(int)>::value == 1 ));
+
+    BOOST_STATIC_ASSERT((   senf::is_pair< std::pair<int,void*> >::value ));
+    BOOST_STATIC_ASSERT(( ! senf::is_pair< void () >::value ));
+
+    BOOST_CHECK( true );
 }
 
-///////////////////////////////cc.e////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
 #undef prefix_
 
 \f