SYS_TypeDecorate.h

Go to the documentation of this file.

/*
 * PROPRIETARY INFORMATION.  This software is proprietary to
 * Side Effects Software Inc., and is not to be reproduced,
 * transmitted, or disclosed in any way without written permission.
 *
 * NAME:        SYS_TypeDecorate.h (SYS Library, C++)
 *
 * COMMENTS:
 */

#ifndef __SYS_TYPEDECORATE_H_INCLUDED__
#define __SYS_TYPEDECORATE_H_INCLUDED__

#include "SYS_TypeTraits.h"

#include <type_traits>


/// @file
/// Provides facilities to decorate types that can then be tested using type
/// traits.

/// Declare a type as integral
#define SYS_DECLARE_IS_INTEGRAL(T) \
            namespace SYS_TypeTraitsImpl{ template<> struct AddIntegralNoCV< T > : public std::true_type { \
                static_assert( ! ( std::is_const< T >::value || std::is_volatile< T >::value ), \
                "SYS_DECLARE_IS_INTEGRAL must be used on types without const/volatile qualifiers" ); \
            }; }\
            /**/

/// Declare a type as floating point
#define SYS_DECLARE_IS_FLOATING_POINT(T) \
            namespace SYS_TypeTraitsImpl{ template<> struct AddFloatingPointNoCV< T > : public std::true_type { \
                static_assert( ! ( std::is_const< T >::value || std::is_volatile< T >::value ), \
                "SYS_DECLARE_IS_FLOATING_POINT must be used on types without const/volatile qualifiers" ); \
            }; }\
            /**/

/// Declare a type as POD
#define SYS_DECLARE_IS_POD(T) \
            namespace SYS_TypeTraitsImpl{ template<> struct AddPodNoCV< T > : public std::true_type { \
                static_assert( ! ( std::is_const< T >::value || std::is_volatile< T >::value ), \
                "SYS_DECLARE_IS_POD must be used on types without const/volatile qualifiers" ); \
            }; }\
            /**/

#endif // __SYS_TYPEDECORATE_H_INCLUDED__