1 files changed, 114 insertions, 0 deletions
diff --git a/src/boost/libs/yap/test/if_else.cpp b/src/boost/libs/yap/test/if_else.cpp
new file mode 100644
index 00000000..c3ed5204
--- /dev/null
+++ b/src/boost/libs/yap/test/if_else.cpp
@@ -0,0 +1,114 @@
+// Copyright (C) 2016-2018 T. Zachary Laine
+//
+// 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 <boost/yap/expression.hpp>
+
+#include <boost/test/minimal.hpp>
+
+#include <sstream>
+
+
+template<typename T>
+using term = boost::yap::terminal<boost::yap::expression, T>;
+
+template<typename T>
+using term_ref = boost::yap::expression_ref<boost::yap::expression, term<T> &>;
+
+template<typename T>
+using term_cref =
+    boost::yap::expression_ref<boost::yap::expression, term<T> const &>;
+
+namespace yap = boost::yap;
+namespace bh = boost::hana;
+
+
+struct callable
+{
+    int operator()() { return 42; }
+};
+
+struct side_effect_callable_1
+{
+    int operator()()
+    {
+        *value_ = 1;
+        return 0;
+    }
+
+    int * value_;
+};
+
+struct side_effect_callable_2
+{
+    int operator()()
+    {
+        *value_ = 2;
+        return 0;
+    }
+
+    int * value_;
+};
+
+
+int test_main(int, char * [])
+{
+    {
+        int one = 0;
+        int two = 0;
+
+        auto true_nothrow_throw_expr = if_else(
+            term<bool>{{true}},
+            term<callable>{}(),
+            term<side_effect_callable_1>{{&one}}());
+
+        BOOST_CHECK(yap::evaluate(true_nothrow_throw_expr) == 42);
+        BOOST_CHECK(one == 0);
+        BOOST_CHECK(two == 0);
+    }
+
+    {
+        int one = 0;
+        int two = 0;
+
+        auto false_nothrow_throw_expr = if_else(
+            term<bool>{{false}},
+            term<callable>{}(),
+            term<side_effect_callable_1>{{&one}}());
+
+        BOOST_CHECK(yap::evaluate(false_nothrow_throw_expr) == 0);
+        BOOST_CHECK(one == 1);
+        BOOST_CHECK(two == 0);
+    }
+
+    {
+        int one = 0;
+        int two = 0;
+
+        auto true_throw1_throw2_expr = if_else(
+            term<bool>{{true}},
+            term<side_effect_callable_1>{{&one}}(),
+            term<side_effect_callable_2>{{&two}}());
+
+        BOOST_CHECK(yap::evaluate(true_throw1_throw2_expr) == 0);
+        BOOST_CHECK(one == 1);
+        BOOST_CHECK(two == 0);
+    }
+
+    {
+        int one = 0;
+        int two = 0;
+
+        auto false_throw1_throw2_expr = if_else(
+            term<bool>{{false}},
+            term<side_effect_callable_1>{{&one}}(),
+            term<side_effect_callable_2>{{&two}}());
+
+        BOOST_CHECK(yap::evaluate(false_throw1_throw2_expr) == 0);
+        BOOST_CHECK(one == 0);
+        BOOST_CHECK(two == 2);
+    }
+
+    return 0;
+}