Orocos Real-Time Toolkit  2.6.0
UnMember.hpp
00001 /***************************************************************************
00002   tag: FMTC  do nov 2 13:06:07 CET 2006  UnMember.hpp
00003 
00004                         UnMember.hpp -  description
00005                            -------------------
00006     begin                : do november 02 2006
00007     copyright            : (C) 2006 FMTC
00008     email                : peter.soetens@fmtc.be
00009 
00010  ***************************************************************************
00011  *   This library is free software; you can redistribute it and/or         *
00012  *   modify it under the terms of the GNU General Public                   *
00013  *   License as published by the Free Software Foundation;                 *
00014  *   version 2 of the License.                                             *
00015  *                                                                         *
00016  *   As a special exception, you may use this file as part of a free       *
00017  *   software library without restriction.  Specifically, if other files   *
00018  *   instantiate templates or use macros or inline functions from this     *
00019  *   file, or you compile this file and link it with other files to        *
00020  *   produce an executable, this file does not by itself cause the         *
00021  *   resulting executable to be covered by the GNU General Public          *
00022  *   License.  This exception does not however invalidate any other        *
00023  *   reasons why the executable file might be covered by the GNU General   *
00024  *   Public License.                                                       *
00025  *                                                                         *
00026  *   This library is distributed in the hope that it will be useful,       *
00027  *   but WITHOUT ANY WARRANTY; without even the implied warranty of        *
00028  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU     *
00029  *   Lesser General Public License for more details.                       *
00030  *                                                                         *
00031  *   You should have received a copy of the GNU General Public             *
00032  *   License along with this library; if not, write to the Free Software   *
00033  *   Foundation, Inc., 59 Temple Place,                                    *
00034  *   Suite 330, Boston, MA  02111-1307  USA                                *
00035  *                                                                         *
00036  ***************************************************************************/
00037 
00038 
00039 #ifndef ORO_UN_MEMBER_HPP
00040 #define ORO_UN_MEMBER_HPP
00041 
00042 #include <boost/shared_ptr.hpp>
00043 #include <boost/mpl/erase.hpp>
00044 #include <boost/mpl/insert.hpp>
00045 #include <boost/mpl/begin_end.hpp>
00046 #include <boost/mpl/next_prior.hpp>
00047 #include <boost/mpl/vector.hpp>
00048 #include <boost/mpl/back.hpp>
00049 #include <boost/mpl/int.hpp>
00050 #include <boost/type_traits.hpp>
00051 #include <boost/function_types/function_type.hpp>
00052 #include <boost/function_types/components.hpp>
00053 #include <boost/function_types/member_function_pointer.hpp>
00054 
00055 namespace RTT
00056 {
00057     namespace internal
00058     {
00065         template<class F>
00066         class UnMember
00067         {
00068             typedef boost::function_types::components<F> member_signature;
00069             typedef typename boost::mpl::erase<typename member_signature::types,
00070                                                typename boost::mpl::next<typename boost::mpl::begin<member_signature>::type>::type>::type non_member_signature;
00071         public:
00072             typedef typename boost::function_types::function_type<non_member_signature>::type type;
00073         };
00074 
00080         template<class F,class Class>
00081         class AddMember
00082         {
00083             typedef boost::function_types::components<F> non_member_signature;
00084             typedef typename boost::mpl::insert<non_member_signature,
00085                                                typename boost::mpl::next<typename boost::mpl::begin<non_member_signature>::type>::type,
00086                                                Class>::type with_member_signature;
00087         public:
00088             typedef typename boost::function_types::member_function_pointer<with_member_signature>::type type;
00089         };
00090 
00096         template<class F>
00097         class ArgMember
00098         {
00099             typedef boost::function_types::components<F> member_signature;
00100             // TODO this erase/insert cycle can be removed and just use member_signature in function_type<T>
00101             // remove the class from the arg list:
00102             typedef typename boost::mpl::erase<typename member_signature::types,
00103                                                typename boost::mpl::next<typename boost::mpl::begin<member_signature>::type>::type>::type non_member_signature;
00104             typedef typename boost::shared_ptr<typename boost::remove_const<typename boost::remove_reference<typename boost::mpl::at<typename member_signature::types,boost::mpl::int_<1> >::type>::type>::type> object_pointer;
00105             // insert it as first argument.
00106             typedef typename boost::mpl::insert<non_member_signature,
00107                                                 typename boost::mpl::next<typename boost::mpl::begin<non_member_signature>::type>::type,
00108                                                 object_pointer
00109 //                                                typename boost::add_pointer<typename boost::remove_const<typename boost::mpl::at<typename member_signature::types,boost::mpl::int_<1> >::type>::type>::type
00110 //                                                typename boost::add_pointer<typename boost::mpl::at<typename member_signature::types,boost::mpl::int_<1> >::type>::type
00111                                                >::type arg_signature;
00112         public:
00113             typedef typename boost::function_types::function_type<arg_signature>::type type;
00114         };
00115 
00119         template<class F>
00120         class UnPointer
00121         {
00122             typedef boost::function_types::components<F> signature;
00123         public:
00124             typedef typename boost::function_types::function_type<signature>::type type;
00125         };
00126     }
00127 }
00128 
00129 
00130 #endif