test/std/time/time.cal/time.cal.mwd/time.cal.mwd.nonmembers/comparisons.pass.cpp

//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11, c++14, c++17

// <chrono>
// class month_weekday;

// constexpr bool operator==(const month_weekday& x, const month_weekday& y) noexcept;
//   Returns: x.month() == y.month() && x.day() == y.day().
//

#include <chrono>
#include <type_traits>
#include <cassert>

#include "test_macros.h"
#include "test_comparisons.h"

int main(int, char**)
{
    using month_weekday   = std::chrono::month_weekday;
    using month           = std::chrono::month;
    using weekday_indexed = std::chrono::weekday_indexed;
    using weekday         = std::chrono::weekday;

    constexpr weekday Sunday = std::chrono::Sunday;
    constexpr weekday Monday = std::chrono::Monday;

    AssertEqualityAreNoexcept<month_weekday>();
    AssertEqualityReturnBool<month_weekday>();

    static_assert( testEquality(
        month_weekday{std::chrono::January, weekday_indexed{Sunday, 1}},
        month_weekday{std::chrono::January, weekday_indexed{Sunday, 1}},
        true), "");

    static_assert( testEquality(
        month_weekday{std::chrono::January, weekday_indexed{Sunday, 1}},
        month_weekday{std::chrono::January, weekday_indexed{Sunday, 2}},
        false), "");

    static_assert( testEquality(
        month_weekday{std::chrono::January,  weekday_indexed{Sunday, 1}},
        month_weekday{std::chrono::February, weekday_indexed{Sunday, 1}},
        false), "");

    static_assert( testEquality(
        month_weekday{std::chrono::January, weekday_indexed{Monday, 1}},
        month_weekday{std::chrono::January, weekday_indexed{Sunday, 2}},
        false), "");

    static_assert( testEquality(
        month_weekday{std::chrono::January,  weekday_indexed{Monday, 1}},
        month_weekday{std::chrono::February, weekday_indexed{Sunday, 1}},
        false), "");

//  same day, different months
    for (unsigned i = 1; i < 12; ++i)
        for (unsigned j = 1; j < 12; ++j)
            assert((testEquality(
                month_weekday{month{i}, weekday_indexed{Sunday, 1}},
                month_weekday{month{j}, weekday_indexed{Sunday, 1}},
                i == j)));

//  same month, different weeks
    for (unsigned i = 1; i < 5; ++i)
        for (unsigned j = 1; j < 5; ++j)
            assert((testEquality(
                month_weekday{month{2}, weekday_indexed{Sunday, i}},
                month_weekday{month{2}, weekday_indexed{Sunday, j}},
                i == j)));

//  same month, different days
    for (unsigned i = 0; i < 6; ++i)
        for (unsigned j = 0; j < 6; ++j)
            assert((testEquality(
                month_weekday{month{2}, weekday_indexed{weekday{i}, 2}},
                month_weekday{month{2}, weekday_indexed{weekday{j}, 2}},
                i == j)));

  return 0;
}