115 lines
2.4 KiB
C++
115 lines
2.4 KiB
C++
// 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;
|
|
}
|