boost/leaf
2
0
Fork 0
mirror of https://github.com/boostorg/leaf.git synced 2026-02-10 23:42:20 +00:00
Code Issues Projects Releases Wiki Activity

initial commit

Browse Source
This commit is contained in:
Emil Dotchevski
2018-09-16 15:56:34 -07:00
commit 53daeb8ac3
26 changed files with 2306 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

167
test/expected_test.cpp Normal file
View File

@@ -0,0 +1,167 @@
//Copyright (c) 2018 Emil Dotchevski
//Copyright (c) 2018 Second Spectrum, Inc.
//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/leaf/expected.hpp>
#include <boost/leaf/put.hpp>
#include <boost/detail/lightweight_test.hpp>
namespace leaf = boost::leaf;
struct error { };
int &
total_count()
{
static thread_local int c=0;
return c;
}
template <class T>
int &
count()
{
static thread_local int c=0;
return c;
}
template <int>
struct
my_info
{
my_info( my_info const & ) = delete;
my_info & operator=( my_info const & ) = delete;
public:
int value;
explicit
my_info( int value ):
value(value)
{
++total_count();
++count<my_info>();
}
my_info( my_info && x ):
value(x.value)
{
++total_count();
++count<my_info>();
}
~my_info()
{
--total_count();
--count<my_info>();
}
};
int
main()
{
using namespace leaf::leaf_detail;
///////////////////////////////////////////////
{
BOOST_TEST(tl_slot<my_info<2>>::tl_instance().is_open()==0);
BOOST_TEST(tl_slot<my_info<3>>::tl_instance().is_open()==0);
leaf::expected<my_info<2>,my_info<3>> info;
BOOST_TEST(tl_slot<my_info<2>>::tl_instance().is_open()==1);
BOOST_TEST(tl_slot<my_info<3>>::tl_instance().is_open()==1);
try
{
auto put = leaf::preload( my_info<2>(42), my_info<3>(43) );
throw error();
}
catch( error const & )
{
BOOST_TEST(tl_slot<my_info<2>>::tl_instance().has_value());
BOOST_TEST(tl_slot<my_info<3>>::tl_instance().has_value());
bool called = false;
unwrap( info.match<my_info<3>,my_info<2>>( [&called]( int x3, int x2 )
{
called = true;
BOOST_TEST(x2==42);
BOOST_TEST(x3==43);
} ) );
BOOST_TEST(called);
}
}
BOOST_TEST(!tl_slot<my_info<1>>::tl_instance().is_open());
BOOST_TEST(!tl_slot<my_info<2>>::tl_instance().is_open());
BOOST_TEST(!tl_slot<my_info<3>>::tl_instance().is_open());
BOOST_TEST(!tl_slot<my_info<1>>::tl_instance().has_value());
BOOST_TEST(!tl_slot<my_info<2>>::tl_instance().has_value());
BOOST_TEST(!tl_slot<my_info<3>>::tl_instance().has_value());
BOOST_TEST(total_count()==0);
///////////////////////////////////////////////
{
leaf::expected<my_info<2>,my_info<3>> info;
BOOST_TEST(!tl_slot<my_info<1>>::tl_instance().is_open());
BOOST_TEST(tl_slot<my_info<2>>::tl_instance().is_open()==1);
BOOST_TEST(tl_slot<my_info<3>>::tl_instance().is_open()==1);
try
{
leaf::expected<my_info<1>,my_info<2>> info;
BOOST_TEST(tl_slot<my_info<1>>::tl_instance().is_open()==1);
BOOST_TEST(tl_slot<my_info<2>>::tl_instance().is_open()==2);
BOOST_TEST(tl_slot<my_info<3>>::tl_instance().is_open()==1);
try
{
auto put = leaf::preload(my_info<1>(41));
throw error();
}
catch(...)
{
{
bool called = false;
unwrap( info.match<my_info<1>>( [&called]( int x1 )
{
called = true;
BOOST_TEST(x1==41);
} ) );
BOOST_TEST(called);
}
try
{
unwrap( info.match<my_info<1>,my_info<2>>( [ ]( int, int ) { } ) );
BOOST_TEST(false);
}
catch( leaf::mismatch_error & )
{
}
leaf::put(my_info<2>(42));
{
bool called = false;
unwrap( info.match<my_info<1>,my_info<2>>( [&called]( int x1, int x2 )
{
called = true;
BOOST_TEST(x1==41);
BOOST_TEST(x2==42);
} ) );
BOOST_TEST(called);
}
info.rethrow_with_info();
}
}
catch( error const & )
{
BOOST_TEST(!tl_slot<my_info<1>>::tl_instance().has_value());
BOOST_TEST(tl_slot<my_info<2>>::tl_instance().has_value());
BOOST_TEST(!tl_slot<my_info<3>>::tl_instance().has_value());
{
bool called = false;
unwrap( info.match<my_info<2>>( [&called]( int x2 )
{
called = true;
BOOST_TEST(x2==42);
} ) );
BOOST_TEST(called);
}
}
}
BOOST_TEST(!tl_slot<my_info<1>>::tl_instance().is_open());
BOOST_TEST(!tl_slot<my_info<2>>::tl_instance().is_open());
BOOST_TEST(!tl_slot<my_info<3>>::tl_instance().is_open());
BOOST_TEST(!tl_slot<my_info<1>>::tl_instance().has_value());
BOOST_TEST(!tl_slot<my_info<2>>::tl_instance().has_value());
BOOST_TEST(!tl_slot<my_info<3>>::tl_instance().has_value());
BOOST_TEST(total_count()==0);
///////////////////////////////////////////////
return boost::report_errors();
}