// Copyright (C) 2008-2018 Lorenzo Caminiti

// Distributed under the Boost Software License, Version 1.0 (see accompanying

// file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).

// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html

// Test all derived and base classes with postconditions.

#undef BOOST_CONTRACT_TEST_NO_A_POST

#undef BOOST_CONTRACT_TEST_NO_B_POST

#undef BOOST_CONTRACT_TEST_NO_C_POST

#include "decl.hpp"

#include <boost/detail/lightweight_test.hpp>

#include <sstream>

#include <string>

std::string ok_c() {

std::ostringstream ok; ok

#ifndef BOOST_CONTRACT_NO_PRECONDITIONS

<< "a::ctor::pre" << std::endl

<< "b::ctor::pre" << std::endl

<< "c::ctor::pre" << std::endl

#endif

#ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS

<< "c::static_inv" << std::endl

#endif

#ifndef BOOST_CONTRACT_NO_OLDS

<< "c::ctor::old" << std::endl

#endif

<< "c::ctor::body" << std::endl

#ifndef BOOST_CONTRACT_NO_EXIT_INVARIANTS

<< "c::static_inv" << std::endl

<< "c::inv" << std::endl

#endif

#ifndef BOOST_CONTRACT_NO_POSTCONDITIONS

<< "c::ctor::post" << std::endl

#endif

;

return ok.str();

}

std::string ok_b() {

std::ostringstream ok; ok

#ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS

<< "b::static_inv" << std::endl

#endif

#ifndef BOOST_CONTRACT_NO_OLDS

<< "b::ctor::old" << std::endl

#endif

<< "b::ctor::body" << std::endl

#ifndef BOOST_CONTRACT_NO_EXIT_INVARIANTS

<< "b::static_inv" << std::endl

<< "b::inv" << std::endl

#endif

#ifndef BOOST_CONTRACT_NO_POSTCONDITIONS

<< "b::ctor::post" << std::endl

#endif

;

return ok.str();

}

std::string ok_a() {

std::ostringstream ok; ok

#ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS

<< "a::static_inv" << std::endl

#endif

#ifndef BOOST_CONTRACT_NO_OLDS

<< "a::ctor::old" << std::endl

#endif

<< "a::ctor::body" << std::endl

#ifndef BOOST_CONTRACT_NO_EXIT_INVARIANTS

<< "a::static_inv" << std::endl

<< "a::inv" << std::endl

#endif

#ifndef BOOST_CONTRACT_NO_POSTCONDITIONS

<< "a::ctor::post" << std::endl

#endif

;

return ok.str();

}

struct err {}; // Global decl so visible in MSVC10 lambdas.

int main() {

std::ostringstream ok;

a_post = true;

b_post = true;

c_post = true;

out.str("");

{

a aa;

ok.str(""); ok // Test nothing failed.

<< ok_c()

<< ok_b()

<< ok_a()

;

BOOST_TEST(out.eq(ok.str()));

}

boost::contract::set_postcondition_failure(

[] (boost::contract::from) { throw err(); });

a_post = false;

b_post = true;

c_post = true;

out.str("");

try {

a aa;

#ifndef BOOST_CONTRACT_NO_POSTCONDITIONS

BOOST_TEST(false);

} catch(err const&) {

#endif

ok.str(""); ok

<< ok_c()

<< ok_b()

<< ok_a()

;

BOOST_TEST(out.eq(ok.str()));

} catch(...) { BOOST_TEST(false); }

a_post = true;

b_post = false;

c_post = true;

out.str("");

try {

a aa;

#ifndef BOOST_CONTRACT_NO_POSTCONDITIONS

BOOST_TEST(false);

} catch(err const&) {

#endif

ok.str(""); ok

<< ok_c()

<< ok_b() // Test b::ctor::post failed.

#ifdef BOOST_CONTRACT_NO_POSTCONDITIONS

<< ok_a()

#endif

;

BOOST_TEST(out.eq(ok.str()));

} catch(...) { BOOST_TEST(false); }

a_post = true;

b_post = true;

c_post = false;

out.str("");

try {

a aa;

#ifndef BOOST_CONTRACT_NO_POSTCONDITIONS

BOOST_TEST(false);

} catch(err const&) {

#endif

ok.str(""); ok

<< ok_c() // Test c::ctor::post failed.

#ifdef BOOST_CONTRACT_NO_POSTCONDITIONS

<< ok_b()

<< ok_a()

#endif

;

BOOST_TEST(out.eq(ok.str()));

} catch(...) { BOOST_TEST(false); }

a_post = false;

b_post = false;

c_post = false;

out.str("");

try {

a aa;

#ifndef BOOST_CONTRACT_NO_POSTCONDITIONS

BOOST_TEST(false);

} catch(err const&) {

#endif

ok.str(""); ok

<< ok_c() // Test c::ctor::post failed (as all did)

#ifdef BOOST_CONTRACT_NO_POSTCONDITIONS

<< ok_b()

<< ok_a()

#endif

;

BOOST_TEST(out.eq(ok.str()));

} catch(...) { BOOST_TEST(false); }

return boost::report_errors();

}