/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
/* vim: set ts=8 sts=2 et sw=2 tw=80: */
/* 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/DefineEnum.h"

// Sanity test for MOZ_DEFINE_ENUM.

MOZ_DEFINE_ENUM(TestEnum1, (EnumeratorA, EnumeratorB, EnumeratorC));

static_assert(EnumeratorA == 0, "Unexpected enumerator value");
static_assert(EnumeratorB == 1, "Unexpected enumerator value");
static_assert(EnumeratorC == 2, "Unexpected enumerator value");
static_assert(kHighestTestEnum1 == EnumeratorC, "Incorrect highest value");
static_assert(kTestEnum1Count == 3, "Incorrect enumerator count");

// Sanity test for MOZ_DEFINE_ENUM_CLASS.

MOZ_DEFINE_ENUM_CLASS(TestEnum2, (A, B, C));

static_assert(TestEnum2::A == TestEnum2(0), "Unexpected enumerator value");
static_assert(TestEnum2::B == TestEnum2(1), "Unexpected enumerator value");
static_assert(TestEnum2::C == TestEnum2(2), "Unexpected enumerator value");
static_assert(kHighestTestEnum2 == TestEnum2::C, "Incorrect highest value");
static_assert(kTestEnum2Count == 3, "Incorrect enumerator count");

// TODO: Test that the _WITH_BASE variants generate enumerators with the
//       correct underlying types. To do this, we need an |UnderlyingType|
//       type trait, which needs compiler support (recent versions of
//       compilers in the GCC family provide an |__underlying_type| builtin
//       for this purpose.

// Sanity test for MOZ_DEFINE_ENUM[_CLASS]_AT_CLASS_SCOPE.

struct TestClass {
  // clang-format off
  MOZ_DEFINE_ENUM_AT_CLASS_SCOPE(
    TestEnum3, (
      EnumeratorA,
      EnumeratorB,
      EnumeratorC
  ));

  MOZ_DEFINE_ENUM_CLASS_AT_CLASS_SCOPE(
    TestEnum4, (
      A,
      B,
      C
  ));
  // clang-format on

  static_assert(EnumeratorA == 0, "Unexpected enumerator value");
  static_assert(EnumeratorB == 1, "Unexpected enumerator value");
  static_assert(EnumeratorC == 2, "Unexpected enumerator value");
  static_assert(sHighestTestEnum3 == EnumeratorC, "Incorrect highest value");
  static_assert(sTestEnum3Count == 3, "Incorrect enumerator count");

  static_assert(TestEnum4::A == TestEnum4(0), "Unexpected enumerator value");
  static_assert(TestEnum4::B == TestEnum4(1), "Unexpected enumerator value");
  static_assert(TestEnum4::C == TestEnum4(2), "Unexpected enumerator value");
  static_assert(sHighestTestEnum4 == TestEnum4::C, "Incorrect highest value");
  static_assert(sTestEnum4Count == 3, "Incorrect enumerator count");
};

// Test that MOZ_DEFINE_ENUM doesn't allow giving enumerators initializers.

#ifdef CONFIRM_COMPILATION_ERRORS
MOZ_DEFINE_ENUM_CLASS(EnumWithInitializer1, (A = -1, B, C))
MOZ_DEFINE_ENUM_CLASS(EnumWithInitializer2, (A = 1, B, C))
MOZ_DEFINE_ENUM_CLASS(EnumWithInitializer3, (A, B = 6, C))
#endif

int main() {
  // Nothing to do here, all tests are static_asserts.
  return 0;
}