// Copyright (c) 2018-2019 Emil Dotchevski
// Copyright (c) 2018-2019 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/handle_exception.hpp>
#include <boost/leaf/exception.hpp>
#include <boost/leaf/preload.hpp>
#include "boost/core/lightweight_test.hpp"

namespace leaf = boost::leaf;

struct info { int value; };

struct my_error: std::exception { };

template <class F>
int test( F && f )
{
	return leaf::try_catch(
		[&]() -> int
		{
			f();
			return 1;
		},
		[ ]( leaf::catch_<my_error>, leaf::match<info,42>, leaf::e_source_location )
		{
			return 2;
		},
		[ ]( leaf::catch_<my_error>, leaf::match<info,42>, info x )
		{
			return 3;
		},
		[ ]( leaf::catch_<my_error>, leaf::e_source_location )
		{
			return 4;
		},
		[ ]( leaf::catch_<my_error> )
		{
			return 5;
		},
		[ ]
		{
			return 6;
		} );
}

int main()
{
	{
		int const id = leaf::leaf_detail::next_id();
		BOOST_TEST_EQ( 3, test( [ ]
		{
			auto load = leaf::preload(info{42});
			throw my_error();
		} ) );
		BOOST_TEST_NE(id, leaf::leaf_detail::next_id());
	}

	{
		int const id = leaf::leaf_detail::next_id();
		BOOST_TEST_EQ( 5, test( [ ]
		{
			throw my_error();
		} ) );
		BOOST_TEST_NE(id, leaf::leaf_detail::next_id());
	}

	{
		int const id = leaf::leaf_detail::next_id();
		BOOST_TEST_EQ( 5, test( [ ]
		{
			int const id = leaf::leaf_detail::next_id();
			try
			{
				leaf::try_catch(
					[ ]
					{
						throw my_error();
					} );
			}
			catch(...)
			{
				BOOST_TEST_EQ(id, leaf::leaf_detail::next_id());
				throw;
			}
		} ) );
		BOOST_TEST_NE(id, leaf::leaf_detail::next_id());
	}

	BOOST_TEST_EQ( 5, test( [ ] { throw leaf::exception(my_error()); } ) );
	BOOST_TEST_EQ( 3, test( [ ] { throw leaf::exception(my_error(),info{42}); } ) );

	BOOST_TEST_EQ( 4, test( [ ] { throw LEAF_EXCEPTION(my_error()); } ) );
	BOOST_TEST_EQ( 2, test( [ ] { throw LEAF_EXCEPTION(my_error(),info{42}); } ) );

	BOOST_TEST_EQ( 4, test( [ ] { LEAF_THROW(my_error()); } ) );
	BOOST_TEST_EQ( 2, test( [ ] { LEAF_THROW(my_error(),info{42}); } ) );

	return boost::report_errors();
}