From 483eb2f56657e8e7f419ab1a4fab8dce9ade8609 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 27 Apr 2024 20:24:20 +0200 Subject: Adding upstream version 14.2.21. Signed-off-by: Daniel Baumann --- src/boost/libs/hof/test/pipable.cpp | 90 +++++++++++++++++++++++++++++++++++++ 1 file changed, 90 insertions(+) create mode 100644 src/boost/libs/hof/test/pipable.cpp (limited to 'src/boost/libs/hof/test/pipable.cpp') diff --git a/src/boost/libs/hof/test/pipable.cpp b/src/boost/libs/hof/test/pipable.cpp new file mode 100644 index 00000000..45bf7fdf --- /dev/null +++ b/src/boost/libs/hof/test/pipable.cpp @@ -0,0 +1,90 @@ +/*============================================================================= + Copyright (c) 2017 Paul Fultz II + pipable.cpp + Distributed under the Boost Software License, Version 1.0. (See accompanying + file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) +==============================================================================*/ +#include +#include +#include +#include "test.hpp" + +static constexpr boost::hof::static_ > binary_pipable = {}; + +static constexpr boost::hof::static_ > unary_pipable = {}; + +static constexpr boost::hof::static_ > mutable_pipable = {}; + +static constexpr boost::hof::static_ > void_pipable = {}; + +static constexpr boost::hof::static_ > mono_pipable = {}; + +static constexpr boost::hof::static_ > move_pipable = {}; + +constexpr boost::hof::pipable_adaptor void_pipable_constexpr = {}; + +constexpr boost::hof::pipable_adaptor binary_pipable_constexpr = {}; + +constexpr boost::hof::pipable_adaptor unary_pipable_constexpr = {}; + +#if BOOST_HOF_HAS_NOEXCEPT_DEDUCTION +BOOST_HOF_TEST_CASE() +{ + static_assert(noexcept(1 | binary_pipable(2)), "noexcept pipable"); + static_assert(noexcept(binary_pipable(1, 2)), "noexcept pipable"); +} +#endif + +BOOST_HOF_TEST_CASE() +{ + void_pipable(1); + 1 | void_pipable; + BOOST_HOF_TEST_CHECK(3 == (1 | binary_pipable(2))); + BOOST_HOF_TEST_CHECK(3 == (binary_pipable(1, 2))); + BOOST_HOF_TEST_CHECK(3 == (3 | unary_pipable)); + BOOST_HOF_TEST_CHECK(3 == (3 | unary_pipable())); + BOOST_HOF_TEST_CHECK(3 == (unary_pipable(3))); + int i1 = 1; + BOOST_HOF_TEST_CHECK(3 == (2 | binary_pipable(i1))); + BOOST_HOF_TEST_CHECK(3 == (i1 | mutable_pipable(2))); + BOOST_HOF_TEST_CHECK(3 == (i1)); + int i2 = 1; + BOOST_HOF_TEST_CHECK(3 == (mutable_pipable(i2, 2))); + BOOST_HOF_TEST_CHECK(3 == (i2)); + BOOST_HOF_TEST_CHECK(3 == (mono_pipable(2))); + BOOST_HOF_TEST_CHECK(3 == (2| mono_pipable)); +} + +BOOST_HOF_TEST_CASE() +{ + BOOST_HOF_TEST_CHECK(3 == (move_class()(1, 2))); + BOOST_HOF_TEST_CHECK(3 == (move_pipable(1, 2))); + BOOST_HOF_TEST_CHECK(3 == (1 | move_pipable(2))); + BOOST_HOF_TEST_CHECK(3 == (1 | boost::hof::pipable(move_class())(2))); + BOOST_HOF_TEST_CHECK(3 == (boost::hof::pipable(move_class())(1, 2))); +} + +BOOST_HOF_TEST_CASE() +{ + void_pipable_constexpr(1); + 1 | void_pipable_constexpr; + BOOST_HOF_STATIC_TEST_CHECK(3 == (1 | binary_pipable_constexpr(2))); + BOOST_HOF_STATIC_TEST_CHECK(3 == (binary_pipable_constexpr(1, 2))); + BOOST_HOF_STATIC_TEST_CHECK(3 == (3 | unary_pipable_constexpr)); + BOOST_HOF_STATIC_TEST_CHECK(3 == (3 | unary_pipable_constexpr())); + BOOST_HOF_STATIC_TEST_CHECK(3 == (unary_pipable_constexpr(3))); +} + +BOOST_HOF_TEST_CASE() +{ + BOOST_HOF_TEST_CHECK(3 == boost::hof::limit_c<2>(binary_pipable_constexpr)(1, 2)); + BOOST_HOF_STATIC_TEST_CHECK(3 == boost::hof::limit_c<2>(binary_pipable_constexpr)(1, 2)); +} + +BOOST_HOF_TEST_CASE() +{ + auto f = boost::hof::pipable(boost::hof::limit_c<2>(binary_class())); + static_assert(boost::hof::is_invocable::value, "Passing the limit is not callable"); + static_assert(!boost::hof::is_invocable::value, "Passing the limit is not callable"); + static_assert(!boost::hof::is_invocable::value, "Passing the limit is not callable"); +} -- cgit v1.2.3