//
//  verify_exp_test.cpp - tests BOOST_ASSERT expansion
//
//  Copyright (c) 2014 Peter Dimov
//
// 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/config.hpp>
#include <boost/current_function.hpp>
#include <boost/detail/lightweight_test.hpp>
#include <string>

// default case, !NDEBUG
// BOOST_VERIFY(x) -> BOOST_ASSERT(x)

#undef NDEBUG
#include <boost/assert.hpp>
#undef BOOST_ASSERT

void test_default()
{
    std::string v1 = BOOST_STRINGIZE(BOOST_VERIFY(x1));
    BOOST_TEST_EQ( v1, "BOOST_ASSERT(x1)" );
}

// default case, NDEBUG
// BOOST_VERIFY(x) -> ((void)(x))

#define NDEBUG
#include <boost/assert.hpp>

void test_default_ndebug()
{
    std::string v2 = BOOST_STRINGIZE(BOOST_VERIFY(x2));
    BOOST_TEST_EQ( v2, "((void)(x2))" );
}

// BOOST_DISABLE_ASSERTS, !NDEBUG
// BOOST_VERIFY(x) -> ((void)(x))

#define BOOST_DISABLE_ASSERTS
#undef NDEBUG
#include <boost/assert.hpp>

void test_disabled()
{
    std::string v3 = BOOST_STRINGIZE(BOOST_VERIFY(x3));
    BOOST_TEST_EQ( v3, "((void)(x3))" );
}

// BOOST_DISABLE_ASSERTS, NDEBUG
// BOOST_VERIFY(x) -> ((void)(x))

#undef NDEBUG
#include <boost/assert.hpp>

void test_disabled_ndebug()
{
    std::string v4 = BOOST_STRINGIZE(BOOST_VERIFY(x4));
    BOOST_TEST_EQ( v4, "((void)(x4))" );
}

#undef BOOST_DISABLE_ASSERTS

// BOOST_ENABLE_ASSERT_HANDLER, !NDEBUG
// BOOST_VERIFY(x) -> BOOST_ASSERT(x)

#define BOOST_ENABLE_ASSERT_HANDLER

#undef NDEBUG
#include <boost/assert.hpp>
#undef BOOST_ASSERT

void test_handler()
{
    std::string v5 = BOOST_STRINGIZE(BOOST_VERIFY(x5));
    BOOST_TEST_EQ( v5, "BOOST_ASSERT(x5)" );
}

#define NDEBUG
#include <boost/assert.hpp>
#undef BOOST_ASSERT

void test_handler_ndebug()
{
    std::string v6 = BOOST_STRINGIZE(BOOST_VERIFY(x6));
    BOOST_TEST_EQ( v6, "BOOST_ASSERT(x6)" );
}

#undef BOOST_ENABLE_ASSERT_HANDLER

// BOOST_ENABLE_ASSERT_DEBUG_HANDLER, !NDEBUG
// BOOST_VERIFY(x) -> BOOST_ASSERT(x)

#define BOOST_ENABLE_ASSERT_DEBUG_HANDLER

#undef NDEBUG
#include <boost/assert.hpp>
#undef BOOST_ASSERT

void test_debug_handler()
{
    std::string v7 = BOOST_STRINGIZE(BOOST_VERIFY(x7));
    BOOST_TEST_EQ( v7, "BOOST_ASSERT(x7)" );
}

// BOOST_ENABLE_ASSERT_DEBUG_HANDLER, NDEBUG
// BOOST_VERIFY(x) -> ((void)(x))

#define NDEBUG
#include <boost/assert.hpp>

void test_debug_handler_ndebug()
{
    std::string v8 = BOOST_STRINGIZE(BOOST_VERIFY(x8));
    BOOST_TEST_EQ( v8, "((void)(x8))" );
}

#undef BOOST_ENABLE_ASSERT_DEBUG_HANDLER

int main()
{
    test_default();
    test_default_ndebug();
    test_disabled();
    test_disabled_ndebug();
    test_handler();
    test_handler_ndebug();
    test_debug_handler();
    test_debug_handler_ndebug();

    return boost::report_errors();
}