Bits.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 <OnixS/ICE/BOE/ABI.h>
#include <OnixS/ICE/BOE/messaging/Utils.h>
 
#include <type_traits>
 
ONIXS_ICEBOE_MESSAGING_NAMESPACE_BEGIN
 
 
namespace details {
    struct BitsetImplTag{};
    std::false_type isBitsetImpl(BitsetImplTag, ...);
}
 
using details::isBitsetImpl;
 
template <typename T, typename = void> struct isBitset : std::false_type {};
 
template<typename T>
struct isBitset
<
    T
    , typename details::make_void<decltype(T::None)>::type
>
: std::integral_constant
<
    bool,
    isScopedEnum<T>::value
    && toUnderlying(T::None) == 0
    && std::is_same<
        decltype(isBitsetImpl(std::declval<details::BitsetImplTag>(), std::declval<cleanType<T>>()))
    , std::true_type>::value
>
{};
 
template <typename T>
constexpr typename std::enable_if<isBitset<T>::value, T>::type
    operator| (T lhs, T rhs) noexcept
{
    return static_cast<T>(toUnderlying(lhs) | toUnderlying(rhs));
}
 
template <typename T>
constexpr typename std::enable_if<isBitset<T>::value, T>::type
    operator& (T lhs, T rhs) noexcept
{
    return static_cast<T>(toUnderlying(lhs) & toUnderlying(rhs));
}
 
template <typename T>
constexpr typename std::enable_if<isBitset<T>::value, T>::type
operator^ (T lhs, T rhs) noexcept
{
    return static_cast<T>(toUnderlying(lhs) ^ toUnderlying(rhs));
}
 
template <typename T>
constexpr typename std::enable_if<isBitset<T>::value, T>::type
    operator~ (T t) noexcept
{
    return static_cast<T>(~toUnderlying(t));
}
 
template <typename T>
constexpr typename std::enable_if<isBitset<T>::value, T&>::type
    operator|= (T& a, T b) noexcept
{
    return a = (a | b);
}
 
template <typename T>
constexpr typename std::enable_if<isBitset<T>::value, T&>::type
operator^= (T& a, T b) noexcept
{
    return a = (a ^ b);
}
 
template <typename T>
constexpr typename std::enable_if<isBitset<T>::value, T&>::type
    operator&=(T& a, T b) noexcept
{
    return a = (a & b);
}
 
template <typename T>
constexpr bool hasFlag(T value, T flag, typename std::enable_if<isBitset<T>::value, void*>::type = nullptr) noexcept
{
    return (value & flag) != T::None;
}
 
#define ONIXS_ICEBOE_DEFINE_SET(set) \
    std::true_type isBitsetImpl(ONIXS_ICEBOE_MESSAGING_NAMESPACE::details::BitsetImplTag, set)
 
ONIXS_ICEBOE_MESSAGING_NAMESPACE_END