From e95858bb7d12dfd63a70e00a58b04bb6e1111af6 Mon Sep 17 00:00:00 2001 From: Howard Hinnant Date: Sun, 9 Aug 2015 21:50:23 -0400 Subject: [PATCH] Add tests for year_month_day --- .../months_m_year_month_day.fail.cpp | 33 +++ test/date_test/year_month_day.pass.cpp | 207 ++++++++++++++++++ .../year_month_day_m_year_month_day.fail.cpp | 33 +++ .../year_month_day_p_year_month_day.fail.cpp | 33 +++ .../date_test/years_m_year_month_day.fail.cpp | 33 +++ 5 files changed, 339 insertions(+) create mode 100644 test/date_test/months_m_year_month_day.fail.cpp create mode 100644 test/date_test/year_month_day.pass.cpp create mode 100644 test/date_test/year_month_day_m_year_month_day.fail.cpp create mode 100644 test/date_test/year_month_day_p_year_month_day.fail.cpp create mode 100644 test/date_test/years_m_year_month_day.fail.cpp diff --git a/test/date_test/months_m_year_month_day.fail.cpp b/test/date_test/months_m_year_month_day.fail.cpp new file mode 100644 index 0000000..9e288ca --- /dev/null +++ b/test/date_test/months_m_year_month_day.fail.cpp @@ -0,0 +1,33 @@ +// The MIT License (MIT) +// +// Copyright (c) 2015 Howard Hinnant +// +// Permission is hereby granted, free of charge, to any person obtaining a copy +// of this software and associated documentation files (the "Software"), to deal +// in the Software without restriction, including without limitation the rights +// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +// copies of the Software, and to permit persons to whom the Software is +// furnished to do so, subject to the following conditions: +// +// The above copyright notice and this permission notice shall be included in all +// copies or substantial portions of the Software. +// +// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +// SOFTWARE. + +// months - year_month_day not allowed + +#include "date.h" + +int +main() +{ + using namespace date; + + auto x = jan - year_month_day{2015_y, aug, 9_d}; +} diff --git a/test/date_test/year_month_day.pass.cpp b/test/date_test/year_month_day.pass.cpp new file mode 100644 index 0000000..35a6b13 --- /dev/null +++ b/test/date_test/year_month_day.pass.cpp @@ -0,0 +1,207 @@ +// The MIT License (MIT) +// +// Copyright (c) 2015 Howard Hinnant +// +// Permission is hereby granted, free of charge, to any person obtaining a copy +// of this software and associated documentation files (the "Software"), to deal +// in the Software without restriction, including without limitation the rights +// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +// copies of the Software, and to permit persons to whom the Software is +// furnished to do so, subject to the following conditions: +// +// The above copyright notice and this permission notice shall be included in all +// copies or substantial portions of the Software. +// +// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +// SOFTWARE. + +// class year_month_day +// { +// public: +// constexpr year_month_day(const date::year& y, const date::month& m, +// const date::day& d) noexcept; +// constexpr year_month_day(const year_month_day_last& ymdl) noexcept; +// constexpr year_month_day(const day_point& dp) noexcept; +// +// year_month_day& operator+=(const months& m) noexcept; +// year_month_day& operator-=(const months& m) noexcept; +// year_month_day& operator+=(const years& y) noexcept; +// year_month_day& operator-=(const years& y) noexcept; +// +// constexpr date::year year() const noexcept; +// constexpr date::month month() const noexcept; +// constexpr date::day day() const noexcept; +// +// constexpr operator day_point() const noexcept; +// constexpr bool ok() const noexcept; +// }; + +// constexpr bool operator==(const year_month_day& x, const year_month_day& y) noexcept; +// constexpr bool operator!=(const year_month_day& x, const year_month_day& y) noexcept; +// constexpr bool operator< (const year_month_day& x, const year_month_day& y) noexcept; +// constexpr bool operator> (const year_month_day& x, const year_month_day& y) noexcept; +// constexpr bool operator<=(const year_month_day& x, const year_month_day& y) noexcept; +// constexpr bool operator>=(const year_month_day& x, const year_month_day& y) noexcept; + +// constexpr year_month_day operator+(const year_month_day& ymd, const months& dm) noexcept; +// constexpr year_month_day operator+(const months& dm, const year_month_day& ymd) noexcept; +// constexpr year_month_day operator-(const year_month_day& ymd, const months& dm) noexcept; +// constexpr year_month_day operator+(const year_month_day& ymd, const years& dy) noexcept; +// constexpr year_month_day operator+(const years& dy, const year_month_day& ymd) noexcept; +// constexpr year_month_day operator-(const year_month_day& ymd, const years& dy) noexcept; + +// std::ostream& operator<<(std::ostream& os, const year_month_day& ymd); + +#include "date.h" + +#include +#include +#include + +static_assert( std::is_trivially_destructible{}, ""); +static_assert(!std::is_default_constructible{}, ""); +static_assert( std::is_trivially_copy_constructible{}, ""); +static_assert( std::is_trivially_copy_assignable{}, ""); +static_assert( std::is_trivially_move_constructible{}, ""); +static_assert( std::is_trivially_move_assignable{}, ""); + +static_assert(std::is_nothrow_constructible{}, ""); +static_assert(std::is_nothrow_constructible{}, ""); +static_assert(std::is_convertible{}, ""); +static_assert(std::is_nothrow_constructible{}, ""); +static_assert(std::is_convertible{}, ""); +static_assert(std::is_nothrow_constructible{}, ""); +static_assert(std::is_convertible{}, ""); + +void +test_arithmetic() +{ + using namespace date; + + for (int y1 = 2010; y1 <= 2015; ++y1) + { + for (unsigned m1 = 1; m1 <= 12; ++m1) + { + year_month_day ymd1{year{y1}, month{m1}, 9_d}; + year_month_day ymd2 = ymd1 + months(24); + assert((ymd2 == year_month_day{year{y1+2}, ymd1.month(), ymd1.day()})); + ymd2 = ymd1 - months(24); + assert((ymd2 == year_month_day{year{y1-2}, ymd1.month(), ymd1.day()})); + for (int m2 = -24; m2 <= 24; ++m2) + { + months m{m2}; + year_month_day ymd3 = ymd1 + m; + months dm = year_month{ymd3.year(), ymd3.month()} - + year_month{ymd2.year(), ymd2.month()}; + assert(dm == m + years{2}); + assert(ymd3 - m == ymd1); + assert(ymd3 + -m == ymd1); + assert(-m + ymd3 == ymd1); + assert((year_month_day{ymd1} += m) == ymd3); + assert((year_month_day{ymd3} -= m) == ymd1); + } + for (int y2 = -2; y2 <= 5; ++y2) + { + years y{y2}; + year_month_day ymd3 = ymd1 + y; + years dy = floor(year_month{ymd3.year(), ymd3.month()} - + year_month{ymd2.year(), ymd2.month()}); + assert(dy == y + years{2}); + assert(ymd3 - y == ymd1); + assert(ymd3 + -y == ymd1); + assert(-y + ymd3 == ymd1); + assert((year_month_day{ymd1} += y) == ymd3); + assert((year_month_day{ymd3} -= y) == ymd1); + } + } + } +} + +void +test_day_point_conversion() +{ + using namespace date; + year y = year{-1000}; + year end = 3000_y; + day_point prev_dp = day_point(year_month_day{y, jan, 1_d}) - days{1}; + weekday prev_wd = weekday{prev_dp}; + for (; y <= end; ++y) + { + month m = jan; + do + { + day last_day = year_month_day_last{y, month_day_last{m}}.day(); + for (day d = 1_d; d <= last_day; ++d) + { + year_month_day ymd = {y, m, d}; + assert(ymd.ok()); + day_point dp = ymd; + assert(dp == prev_dp + days{1}); + year_month_day ymd2 = dp; + assert(ymd2 == ymd); + weekday wd = dp; + assert(wd.ok()); + assert(wd == prev_wd + days{1}); + prev_wd = wd; + prev_dp = dp; + } + } while (++m != jan); + } +} + +int +main() +{ + using namespace date; + + constexpr year_month_day ymd1 = {2015_y, aug, 9_d}; +#if __cplusplus >= 201402 + static_assert(ymd1.ok(), ""); +#endif + static_assert(ymd1.year() == 2015_y, ""); + static_assert(ymd1.month() == aug, ""); + static_assert(ymd1.day() == 9_d, ""); + +#if __cplusplus >= 201402 + constexpr day_point dp = ymd1; + static_assert(dp.time_since_epoch() == days{16656}, ""); + constexpr year_month_day ymd2 = dp; + static_assert(ymd1 == ymd2, ""); +#endif + + constexpr year_month_day ymd3 = {1969_y, dec, 31_d}; +#if __cplusplus >= 201402 + static_assert(ymd3.ok(), ""); +#endif + static_assert(ymd3.year() == 1969_y, ""); + static_assert(ymd3.month() == dec, ""); + static_assert(ymd3.day() == 31_d, ""); + +#if __cplusplus >= 201402 + constexpr day_point dp3 = ymd3; + static_assert(dp3.time_since_epoch() == days{-1}, ""); + constexpr year_month_day ymd4 = dp3; + static_assert(ymd3 == ymd4, ""); +#endif + + static_assert(ymd1 != ymd3, ""); + static_assert(ymd1 > ymd3, ""); + static_assert(ymd3 < ymd1, ""); + static_assert(ymd1 >= ymd1, ""); + static_assert(ymd3 <= ymd1, ""); + + test_arithmetic(); + test_day_point_conversion(); + + std::ostringstream os; + os << ymd1; + assert(os.str() == "2015-08-09"); +} diff --git a/test/date_test/year_month_day_m_year_month_day.fail.cpp b/test/date_test/year_month_day_m_year_month_day.fail.cpp new file mode 100644 index 0000000..5b0461b --- /dev/null +++ b/test/date_test/year_month_day_m_year_month_day.fail.cpp @@ -0,0 +1,33 @@ +// The MIT License (MIT) +// +// Copyright (c) 2015 Howard Hinnant +// +// Permission is hereby granted, free of charge, to any person obtaining a copy +// of this software and associated documentation files (the "Software"), to deal +// in the Software without restriction, including without limitation the rights +// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +// copies of the Software, and to permit persons to whom the Software is +// furnished to do so, subject to the following conditions: +// +// The above copyright notice and this permission notice shall be included in all +// copies or substantial portions of the Software. +// +// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +// SOFTWARE. + +// year_month_day - year_month_day not allowed + +#include "date.h" + +int +main() +{ + using namespace date; + + auto x = year_month_day{2015_y, aug, 9_d} - year_month_day{2015_y, aug, 9_d}; +} diff --git a/test/date_test/year_month_day_p_year_month_day.fail.cpp b/test/date_test/year_month_day_p_year_month_day.fail.cpp new file mode 100644 index 0000000..9b3473f --- /dev/null +++ b/test/date_test/year_month_day_p_year_month_day.fail.cpp @@ -0,0 +1,33 @@ +// The MIT License (MIT) +// +// Copyright (c) 2015 Howard Hinnant +// +// Permission is hereby granted, free of charge, to any person obtaining a copy +// of this software and associated documentation files (the "Software"), to deal +// in the Software without restriction, including without limitation the rights +// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +// copies of the Software, and to permit persons to whom the Software is +// furnished to do so, subject to the following conditions: +// +// The above copyright notice and this permission notice shall be included in all +// copies or substantial portions of the Software. +// +// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +// SOFTWARE. + +// year_month_day + year_month_day not allowed + +#include "date.h" + +int +main() +{ + using namespace date; + + auto x = year_month_day{2015_y, aug, 9_d} + year_month_day{2015_y, aug, 9_d}; +} diff --git a/test/date_test/years_m_year_month_day.fail.cpp b/test/date_test/years_m_year_month_day.fail.cpp new file mode 100644 index 0000000..92d0bfb --- /dev/null +++ b/test/date_test/years_m_year_month_day.fail.cpp @@ -0,0 +1,33 @@ +// The MIT License (MIT) +// +// Copyright (c) 2015 Howard Hinnant +// +// Permission is hereby granted, free of charge, to any person obtaining a copy +// of this software and associated documentation files (the "Software"), to deal +// in the Software without restriction, including without limitation the rights +// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +// copies of the Software, and to permit persons to whom the Software is +// furnished to do so, subject to the following conditions: +// +// The above copyright notice and this permission notice shall be included in all +// copies or substantial portions of the Software. +// +// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +// SOFTWARE. + +// years - year_month_day not allowed + +#include "date.h" + +int +main() +{ + using namespace date; + + auto x = 2015_y - year_month_day{2015_y, aug, 9_d}; +}