1 //===----------------------------------------------------------------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 // UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
10
11 // <chrono>
12 // class month_weekday;
13
14 // constexpr bool ok() const noexcept;
15 // Returns: m_.ok() && wdi_.ok().
16
17 #include <chrono>
18 #include <type_traits>
19 #include <cassert>
20
21 #include "test_macros.h"
22
main()23 int main()
24 {
25 using month_weekday = std::chrono::month_weekday;
26 using month = std::chrono::month;
27 using weekday = std::chrono::weekday;
28 using weekday_indexed = std::chrono::weekday_indexed;
29
30 constexpr weekday Sunday = std::chrono::Sunday;
31
32 ASSERT_NOEXCEPT( std::declval<const month_weekday>().ok());
33 ASSERT_SAME_TYPE(bool, decltype(std::declval<const month_weekday>().ok()));
34
35 static_assert(!month_weekday{month{}, weekday_indexed{}}.ok(), "");
36 static_assert( month_weekday{std::chrono::May, weekday_indexed{Sunday, 2}}.ok(), "");
37
38 assert(!(month_weekday(std::chrono::April, weekday_indexed{Sunday, 0}).ok()));
39 assert( (month_weekday{std::chrono::March, weekday_indexed{Sunday, 1}}.ok()));
40
41 for (unsigned i = 1; i <= 12; ++i)
42 for (unsigned j = 0; j <= 6; ++j)
43 {
44 month_weekday mwd{month{i}, weekday_indexed{Sunday, j}};
45 assert(mwd.ok() == (j >= 1 && j <= 5));
46 }
47
48 // If the month is not ok, all the weekday_indexed are bad
49 for (unsigned i = 1; i <= 10; ++i)
50 assert(!(month_weekday{month{13}, weekday_indexed{Sunday, i}}.ok()));
51 }
52