ice::TaskFlagType Concept Reference

#include <ice/task_flags.hxx>

Concept definition

    template<typename Enum>
    concept TaskFlagType = ice::FlagType<Enum> && ice::FlagAllValue<Enum> // Ensure it's a IceShard flag enabled type
        // Ensure the flag type is manually enabled and matches the expected base type
        && Constant_IsTaskFlagsEnumeration<Enum> && std::is_same_v<ice::TaskFlagBaseType, std::underlying_type_t<Enum>>
        // Ensure the specified names are part of the enum.
        && requires(Enum t) {
            { Enum::Long } -> std::convertible_to<Enum>;
            { Enum::PrioLow } -> std::convertible_to<Enum>;
            { Enum::PrioNormal } -> std::convertible_to<Enum>;
            { Enum::PrioHigh } -> std::convertible_to<Enum>;
        }
        
        && static_cast<ice::TaskFlagBaseType>(Enum::All & Enum::Long) == Constant_TaskFlagLongValue
        && static_cast<ice::TaskFlagBaseType>(Enum::All & Enum::PrioLow) == Constant_TaskFlagLowPrioValue
        && static_cast<ice::TaskFlagBaseType>(Enum::All & Enum::PrioNormal) == Constant_TaskFlagNormalPrioValue
        && static_cast<ice::TaskFlagBaseType>(Enum::All & Enum::PrioHigh) == Constant_TaskFlagHighPrioValue