TypeTraitsVerification.h

Go to the documentation of this file.

// Copyright Onix Solutions Limited [OnixS]. All rights reserved.
//
// This software owned by Onix Solutions Limited [OnixS] and is 
// protected by copyright law and international copyright treaties.
//
// Access to and use of the software is governed by the terms of the applicable 
// OnixS Software Services Agreement (the Agreement) and Customer end user license 
// agreements granting a non-assignable, non-transferable and non-exclusive license 
// to use the software for it's own data processing purposes under the terms defined 
// in the Agreement.
//
// Except as otherwise granted within the terms of the Agreement, copying or 
// reproduction of any part of this source code or associated reference material 
// to any other location for further reproduction or redistribution, and any 
// amendments to this copyright notice, are expressly prohibited.
//
// Any reproduction or redistribution for sale or hiring of the Software not in 
// accordance with the terms of the Agreement is a violation of copyright law.
//

#pragma once

#include <boost/static_assert.hpp>
#include <boost/type_traits/is_pod.hpp>

#define \
    ONIXS_SGXTITAN_OUCH_ENSURE_IS_POD(Type) \
    BOOST_STATIC_ASSERT_MSG \
    ( \
        boost::is_pod<Type>::value, \
        #Type " must be a plain data type. " \
    ); 

#define \
    ONIXS_SGXTITAN_OUCH_ENSURE_TYPE_SIZE(Type, Size) \
    BOOST_STATIC_ASSERT_MSG \
    ( \
        sizeof(Type) == (Size), \
        "Size of " #Type " must be " #Size ". " \
    );