Menu

is_compare_tag.h

Go to the documentation of this file.
00001 /*******************************************************************************
00002  *
00003  * Copyright (c) 2008-2010 Michael Schulze <mschulze@ivs.cs.uni-magdeburg.de>
00004  * All rights reserved.
00005  *
00006  *    Redistribution and use in source and binary forms, with or without
00007  *    modification, are permitted provided that the following conditions
00008  *    are met:
00009  *
00010  *    * Redistributions of source code must retain the above copyright
00011  *      notice, this list of conditions and the following disclaimer.
00012  *
00013  *    * Redistributions in binary form must reproduce the above copyright
00014  *      notice, this list of conditions and the following disclaimer in
00015  *      the documentation and/or other materials provided with the
00016  *      distribution.
00017  *
00018  *    * Neither the name of the copyright holders nor the names of
00019  *      contributors may be used to endorse or promote products derived
00020  *      from this software without specific prior written permission.
00021  *
00022  *
00023  *    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
00024  *    IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
00025  *    TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
00026  *    PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
00027  *    OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
00028  *    SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
00029  *    LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
00030  *    DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
00031  *    THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
00032  *    (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
00033  *    OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
00034  *
00035  *
00036  * $Id$
00037  *
00038  ******************************************************************************/
00039 
00040 #ifndef __IsCompareTag_h__
00041 #define __IsCompareTag_h__
00042 
00043 #include  <boost/type_traits/is_same.hpp>
00044 #include "config/type_traits/contains_type.h"
00045 
00046 namespace famouso {
00047     namespace mw {
00048         namespace attributes {
00049             namespace type_traits {
00050 
00063                 template <typename A, typename B>
00064                 struct is_compare_tag {
00065 
00066                     CONTAINS_TYPE_(compare_tag);
00067 
00068                     template <bool, typename T, typename U>
00069                     struct is_compare_tag_impl :
00070                         boost::is_same< typename T::compare_tag, U > {};
00071 
00072                     template <typename T, typename U>
00073                     struct is_compare_tag_impl<false,T,U> {
00074                         enum{
00075                             value = 0
00076                         };
00077                     };
00078 
00079                     typedef is_compare_tag type;
00080 
00081                     enum {
00082                         value = is_compare_tag_impl<
00083                                     contains_type_compare_tag< A >::value,
00084                                     A,
00085                                     B
00086                                 >::value
00087                     };
00088                 };
00089 
00090             } /* type_traits */
00091         } /* attributes */
00092     } /* mw */
00093 } /* famouso */
00094 
00095 #endif
00096