137 lines
5.0 KiB
C++
137 lines
5.0 KiB
C++
/* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
#include "mozilla/IntegerTypeTraits.h"
|
|
#include "mozilla/EnumTypeTraits.h"
|
|
|
|
using namespace mozilla;
|
|
|
|
/* Feature check for EnumTypeFitsWithin. */
|
|
|
|
#define MAKE_FIXED_EMUM_FOR_TYPE(IntType) \
|
|
enum FixedEnumFor_##IntType : IntType { \
|
|
A_##IntType, \
|
|
B_##IntType, \
|
|
C_##IntType, \
|
|
};
|
|
|
|
template<typename EnumType, typename IntType>
|
|
static void
|
|
TestShouldFit()
|
|
{
|
|
static_assert(EnumTypeFitsWithin<EnumType, IntType>::value,
|
|
"Should fit within exact/promoted integral type");
|
|
}
|
|
|
|
template<typename EnumType, typename IntType>
|
|
static void
|
|
TestShouldNotFit()
|
|
{
|
|
static_assert(!EnumTypeFitsWithin<EnumType, IntType>::value,
|
|
"Should not fit within");
|
|
}
|
|
|
|
int
|
|
main()
|
|
{
|
|
// check for int8_t
|
|
MAKE_FIXED_EMUM_FOR_TYPE(int8_t);
|
|
TestShouldFit<FixedEnumFor_int8_t, int8_t>();
|
|
TestShouldFit<FixedEnumFor_int8_t, int16_t>();
|
|
TestShouldFit<FixedEnumFor_int8_t, int32_t>();
|
|
TestShouldFit<FixedEnumFor_int8_t, int64_t>();
|
|
|
|
TestShouldNotFit<FixedEnumFor_int8_t, uint8_t>();
|
|
TestShouldNotFit<FixedEnumFor_int8_t, uint16_t>();
|
|
TestShouldNotFit<FixedEnumFor_int8_t, uint32_t>();
|
|
TestShouldNotFit<FixedEnumFor_int8_t, uint64_t>();
|
|
|
|
// check for uint8_t
|
|
MAKE_FIXED_EMUM_FOR_TYPE(uint8_t);
|
|
TestShouldFit<FixedEnumFor_uint8_t, uint8_t>();
|
|
TestShouldFit<FixedEnumFor_uint8_t, uint16_t>();
|
|
TestShouldFit<FixedEnumFor_uint8_t, uint32_t>();
|
|
TestShouldFit<FixedEnumFor_uint8_t, uint64_t>();
|
|
|
|
TestShouldNotFit<FixedEnumFor_uint8_t, int8_t>();
|
|
TestShouldFit<FixedEnumFor_uint8_t, int16_t>();
|
|
TestShouldFit<FixedEnumFor_uint8_t, int32_t>();
|
|
TestShouldFit<FixedEnumFor_uint8_t, int64_t>();
|
|
|
|
// check for int16_t
|
|
MAKE_FIXED_EMUM_FOR_TYPE(int16_t);
|
|
TestShouldNotFit<FixedEnumFor_int16_t, int8_t>();
|
|
TestShouldFit<FixedEnumFor_int16_t, int16_t>();
|
|
TestShouldFit<FixedEnumFor_int16_t, int32_t>();
|
|
TestShouldFit<FixedEnumFor_int16_t, int64_t>();
|
|
|
|
TestShouldNotFit<FixedEnumFor_int16_t, uint8_t>();
|
|
TestShouldNotFit<FixedEnumFor_int16_t, uint16_t>();
|
|
TestShouldNotFit<FixedEnumFor_int16_t, uint32_t>();
|
|
TestShouldNotFit<FixedEnumFor_int16_t, uint64_t>();
|
|
|
|
// check for uint16_t
|
|
MAKE_FIXED_EMUM_FOR_TYPE(uint16_t);
|
|
TestShouldNotFit<FixedEnumFor_uint16_t, uint8_t>();
|
|
TestShouldFit<FixedEnumFor_uint16_t, uint16_t>();
|
|
TestShouldFit<FixedEnumFor_uint16_t, uint32_t>();
|
|
TestShouldFit<FixedEnumFor_uint16_t, uint64_t>();
|
|
|
|
TestShouldNotFit<FixedEnumFor_uint16_t, int8_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint16_t, int16_t>();
|
|
TestShouldFit<FixedEnumFor_uint16_t, int32_t>();
|
|
TestShouldFit<FixedEnumFor_uint16_t, int64_t>();
|
|
|
|
// check for int32_t
|
|
MAKE_FIXED_EMUM_FOR_TYPE(int32_t);
|
|
TestShouldNotFit<FixedEnumFor_int32_t, int8_t>();
|
|
TestShouldNotFit<FixedEnumFor_int32_t, int16_t>();
|
|
TestShouldFit<FixedEnumFor_int32_t, int32_t>();
|
|
TestShouldFit<FixedEnumFor_int32_t, int64_t>();
|
|
|
|
TestShouldNotFit<FixedEnumFor_int32_t, uint8_t>();
|
|
TestShouldNotFit<FixedEnumFor_int32_t, uint16_t>();
|
|
TestShouldNotFit<FixedEnumFor_int32_t, uint32_t>();
|
|
TestShouldNotFit<FixedEnumFor_int32_t, uint64_t>();
|
|
|
|
// check for uint32_t
|
|
MAKE_FIXED_EMUM_FOR_TYPE(uint32_t);
|
|
TestShouldNotFit<FixedEnumFor_uint32_t, uint8_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint32_t, uint16_t>();
|
|
TestShouldFit<FixedEnumFor_uint32_t, uint32_t>();
|
|
TestShouldFit<FixedEnumFor_uint32_t, uint64_t>();
|
|
|
|
TestShouldNotFit<FixedEnumFor_uint32_t, int8_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint32_t, int16_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint32_t, int32_t>();
|
|
TestShouldFit<FixedEnumFor_uint32_t, int64_t>();
|
|
|
|
// check for int64_t
|
|
MAKE_FIXED_EMUM_FOR_TYPE(int64_t);
|
|
TestShouldNotFit<FixedEnumFor_int64_t, int8_t>();
|
|
TestShouldNotFit<FixedEnumFor_int64_t, int16_t>();
|
|
TestShouldNotFit<FixedEnumFor_int64_t, int32_t>();
|
|
TestShouldFit<FixedEnumFor_int64_t, int64_t>();
|
|
|
|
TestShouldNotFit<FixedEnumFor_int64_t, uint8_t>();
|
|
TestShouldNotFit<FixedEnumFor_int64_t, uint16_t>();
|
|
TestShouldNotFit<FixedEnumFor_int64_t, uint32_t>();
|
|
TestShouldNotFit<FixedEnumFor_int64_t, uint64_t>();
|
|
|
|
// check for uint64_t
|
|
MAKE_FIXED_EMUM_FOR_TYPE(uint64_t);
|
|
TestShouldNotFit<FixedEnumFor_uint64_t, uint8_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint64_t, uint16_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint64_t, uint32_t>();
|
|
TestShouldFit<FixedEnumFor_uint64_t, uint64_t>();
|
|
|
|
TestShouldNotFit<FixedEnumFor_uint64_t, int8_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint64_t, int16_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint64_t, int32_t>();
|
|
TestShouldNotFit<FixedEnumFor_uint64_t, int64_t>();
|
|
|
|
return 0;
|
|
}
|